Scaling Mathematical Proof Supervision from Structured Textbooks

Researchers introduced TOME-Math, a corpus converting 2,118 university-level mathematics textbooks into approximately 380K structured proof-supervision records, which improved held-out evaluation scores by 16.7 percentage points over the base model when used for fine-tuning.