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

研究者发布TOME-Math数学证明结构化语料,微调模型提分16.7个百分点

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

先了解这件事

AI 综述

研究者推出TOME-Math语料库,将2,118本大学数学教材转换为约380K条结构化证明监督数据,保留章节顺序、命题-证明链接与依赖引用,并预告将开源发布该语料。 据论文介绍,基于这些结构信号开展课程学习与数据规模扩展实验,全量微调使模型在留出评测与公开基准上的未加权平均分较基座模型提升16.7个百分点,超过三个公开指令数据基线的合计表现。

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

报道时间线

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

10月31日
  1. arXiv cs.AI
    TOME-Math:用结构化教材规模化数学证明监督

    研究者推出 TOME-Math 语料库,将 2,118 本大学数学教材转换为约 380K 条结构化证明监督数据,保留章节顺序、命题-证明链接与依赖引用。基于这些结构信号开展跨学科课程学习与数据规模扩展实验,全量微调使模型在留出评测与公开基准上的未加权平均分较基座模型提升 16.7 个百分点,超过三个公开指令数据基线的合计表现。语料库将开源发布。

本事件热度走势

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