TOME-Math数学证明监督数据集发布
热点事件持续更新
TOME-Math数学证明监督数据集发布
1 篇报道1 个报道来源12 小时前更新
先了解这件事
AI 综述
Youqing Fang等作者发布TOME-Math语料库，将2,118本大学数学教材转换为约38万条结构化证明监督记录，保留章节顺序、命题-证明链接、依赖引用与来源出处。作者称将公开该语料库，以推动结构化数学监督研究。 作者报告，用该数据全量微调后，模型在留出评测与公开基准上的未加权平均分较基座模型提升16.7个百分点，并在总体上超过三个公开指令数据基线。
AI 根据报道生成 · 2 小时前更新
最新进展10月31日 12:00
TOME-Math：从 2,118 本教材构建 38 万条结构化数学证明监督数据报道时间线
沿着报道，了解事件的不同侧面。
10月31日
- arXiv cs.AITOME-Math：从 2,118 本教材构建 38 万条结构化数学证明监督数据
研究者构建 TOME-Math 语料库，将 2,118 本大学数学教材转换为约 380K 条结构化证明监督记录，保留章节顺序、命题-证明链接与依赖引用。全量微调后，模型在留出评测与公开基准上的未加权平均分较基座模型提升 16.7 个百分点，并在总体上超过三个公开指令数据基线。该语料库将公开发布。
本事件热度走势
- 可比范围当前
- 7
- 可比范围峰值
- 810月31日 22:00
- 近 24 小时变化
- –
02468
22:0023:0011月1日
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。