跳到正文
热点事件持续更新

Youqing Fang等发布TOME-Math数学证明语料,微调模型提升16.7个百分点

1 篇报道1 个报道来源16 小时前更新

先了解这件事

AI 综述

Youqing Fang 等在 arXiv 论文(arXiv:2610.40394)中发布 TOME-Math 语料库,将 2,118 本大学数学教材转化为约 38 万条结构化证明监督记录,保留章节顺序、命题-证明链接、依赖引用与来源溯源,并称将开源发布该语料。 论文称,基于这些结构信号探索了跨数学科目的课程学习及监督规模与来源广度的扩展规律;用该语料全量微调的模型在内部评测和公开基准上的未加权平均分较基础模型提升 16.7 个百分点,超过三个公开指令数据基线。

AI 根据报道生成 · 1 小时前更新

报道时间线

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

10月30日
  1. arXiv · cs.CL
    TOME-Math:从结构化教材扩展数学证明监督

    TOME-Math 语料库将 2,118 本大学数学教材转化为约 380K 条结构化证明监督记录,保留章节顺序、命题-证明链接、依赖引用与来源溯源。基于这些结构信号,研究探索了跨数学科目的课程学习及监督规模与来源广度的扩展规律。全量微调使模型在内部评测和公开基准上的未加权平均分较基础模型提升 16.7 个百分点,超过三个公开指令数据基线,语料库将开源发布。

本事件热度走势

还没有足够的连续观测数据,暂不绘制趋势。