![](https://cdn.msbd123.com/ad/ad.png)
该模型在全球首届 AI 数学奥林匹克竞赛(AIMO)获得了第一名,开源,可以在本地电脑上直接跑。它是基于 deepseek-math-7b-base 的微调版本,经过两阶段微调以达到排行榜获胜解决方案,并使用思路链 CoT 提示进行模板化,同时采用 MSFT 的 ToRA 格式进行 GPT4 输出并执行代码,具备与 Transformers 集成的能力。
Numina-Math-7B-TIR的特点:
1. 基于 deepseek-math-7b-base 的微调版本
2. 经过两阶段微调以达到排行榜获胜解决方案
3. 使用思路链 CoT 提示进行模板化
4. 使用 MSFT 的 ToRA 格式进行 GPT4 输出并执行代码
5. 与 Transformers 集成
Numina-Math-7B-TIR的功能:
1. 判断数学问题的大小
2. 解决复杂的数学问题
3. 在本地电脑上运行模型
相关导航
暂无评论...