TOME-Math 发布

1 篇报道1 个报道来源3 天前更新

先了解这件事

AI 综述

Hugging Face 发布了 TOME-Math 数学证明监督语料库，将 2,118 本大学数学教科书转化为约 380K 结构化证明监督记录，提升语言模型数学推理能力 16.7 个百分点，超越所有三个公共指令数据基线。该语料库将发布以促进结构化数学监督研究。

AI 根据报道生成 · 更新于 2 天前

最新进展11月12日 08:00

沿着报道，了解事件的不同侧面。

11月12日

08:00
Hugging Face Daily Papers
TOME-Math：基于结构化教科书的数学证明监督语料库
TOME-Math 将 2,118 本大学数学教科书转化为约 380K 结构化证明监督记录，保留章节顺序、命题-证明链接和依赖参考，用于微调后使语言模型数学推理能力提升 16.7 个百分点，超越所有三个公共指令数据基线。该语料库将发布以促进结构化数学监督研究。

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。