TOME-Math：基于结构化教材的数学证明监督数据集

研究构建了TOME-Math数据集，将2,118本大学数学教材转化为约38万条结构化证明监督记录，保留章节顺序、命题-证明关联和依赖引用。在完整规模下，基于该数据集微调模型使多个基准测试的平均得分提升16.7个百分点，超越所有公开指令数据基线。该数据集将公开，用于研究结构化数学监督对推理能力的影响。