回到最新动态
交叉发布 / THE SIGNAL

TOME-Math:从教科书构建结构化数学证明监督语料

Scaling Mathematical Proof Supervision from Structured Textbooks

重要性 5.5 AI 辅助整理

论文用教科书结构构建 38 万条证明监督数据,报告平均分提升 16.7 个百分点。

资讯摘要

论文提出 TOME-Math(Textbook-Oriented Mathematical Evidence)语料,将 2,118 本覆盖大学数学核心领域的教科书转换为约 38 万条结构化证明监督记录,保留章节顺序、命题与证明的对应关系、依赖引用和来源出处。作者利用这些结构信号探索跨学科课程学习,并刻画监督规模与来源广度的扩展规律。作者报告,全量微调后在留出评测与公开基准上的未加权平均分较基座模型提升 16.7 个百分点,并在总体上超过所评估的三个公开指令数据基线。

要点速读

  1. TOME-Math 将 2,118 本大学数学教科书转为约 380K 条结构化证明监督记录,保留章节顺序、命题-证明链接、依赖引用与来源出处。
  2. 作者基于结构信号开展跨数学学科的课程学习,并分析监督数量与来源广度的扩展模式。
  3. 作者报告全量微调后未加权平均分较基座模型提升 16.7 个百分点,并称在总体上超过三个公开指令数据基线。

中文摘要由 AI 根据公开来源生成,可能存在理解偏差;具体能力、数字、开放时间等信息请以原文为准。
采集于 2026/10/31 08:00:18(北京时间)。 arXiv 日期为本次公告时间,论文初次投稿日期请查看原文版本记录。

阅读 arXiv · cs.AI 原文arxiv.org · 在新窗口打开