Azbert Base
模型概述
該模型能夠識別數學符號,使用[pya0]進行分詞,為LaTeX標記添加有限的新詞元。適用於數學表達式理解和生成任務。
模型特點
數學符號識別
專門針對數學符號進行優化,能夠有效識別和處理LaTeX格式的數學表達式。
特殊分詞方法
使用[pya0]進行分詞,為LaTeX標記添加有限的新詞元,總詞彙量僅為31,061。
高效訓練
在4塊Tesla V100 GPU上訓練,總批次大小為64,使用270萬句對數據訓練7個週期。
模型能力
數學表達式理解
數學表達式生成
填充掩碼預測
使用案例
數學教育
數學表達式補全
自動補全不完整的數學表達式,如填充缺失的運算符或變量。
能夠準確預測數學表達式中的缺失部分。
數學證明輔助
輔助生成數學證明的步驟或提供證明思路。
能夠生成合理的證明步驟,幫助理解數學定理。
學術研究
數學論文輔助寫作
幫助研究人員快速生成或補全數學論文中的公式和表達式。
提高論文寫作效率,減少公式輸入錯誤。
精選推薦AI模型
Llama 3 Typhoon V1.5x 8b Instruct
專為泰語設計的80億參數指令模型,性能媲美GPT-3.5-turbo,優化了應用場景、檢索增強生成、受限生成和推理任務
大型語言模型
Transformers 支持多種語言

L
scb10x
3,269
16
Cadet Tiny
Openrail
Cadet-Tiny是一個基於SODA數據集訓練的超小型對話模型,專為邊緣設備推理設計,體積僅為Cosmo-3B模型的2%左右。
對話系統
Transformers 英語

C
ToddGoldfarb
2,691
6
Roberta Base Chinese Extractive Qa
基於RoBERTa架構的中文抽取式問答模型,適用於從給定文本中提取答案的任務。
問答系統 中文
R
uer
2,694
98