arXiv · cs.CL· Youqing Fang·· 17 小时前AI 评分39
TOME-Math：从结构化教材扩展数学证明监督
Scaling Mathematical Proof Supervision from Structured Textbooks
来源与原文
arXiv · cs.CL
作者：Youqing Fang
发布时间：（北京时间）
阅读原始来源 · arxiv.org ↗完整链接与内容说明
https://arxiv.org/abs/2610.40394v1
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
TOME-Math 语料库将 2,118 本大学数学教材转化为约 380K 条结构化证明监督记录，保留章节顺序、命题-证明链接、依赖引用与来源溯源。基于这些结构信号，研究探索了跨数学科目的课程学习及监督规模与来源广度的扩展规律。全量微调使模型在内部评测和公开基准上的未加权平均分较基础模型提升 16.7 个百分点，超过三个公开指令数据基线，语料库将开源发布。
来源：arXiv · cs.CL · arxiv.org