TOME-Math Converts 2,118 Textbooks into 380K Structured Proof-Supervision Records
Researchers introduce TOME-Math, a large-scale corpus that turns 2,118 university-level mathematics textbooks into roughly 380K structured proof-supervision records while preserving chapter order, proposition-proof links, dependency references and source provenance. Fine-tuning on the full corpus lifts the unweighted mean score across held-out evaluations and established public benchmarks by 16.7 percentage points over the base model, and exceeds all three public instruction-data baselines in aggregate. The work also characterizes scaling patterns with supervision volume and source breadth, and explores curriculum learning across mathematical subjects. The authors state the corpus will be released to support further research on structured mathematical supervision.
It offers a concrete, provenance-preserving alternative to flattened problem-solution pairs and reports a measurable 16.7-point gain, giving researchers a reusable recipe for data organization in mathematical reasoning.
Comments & Questions (0)
No comments yet
Be the first to comment!