TOME-Math Corpus for Structured Mathematical Proof Supervision
October 28, 2026
TOME-Math converts 2,118 university-level mathematics textbooks into 380,000 structured proof-supervision records. This method preserves chapter order, proposition-proof links, and dependency references to enable curriculum learning during fine-tuning.
HOW THIS AFFECTS YOU
●
builderThis provides a large-scale dataset for training models on complex, multi-step mathematical reasoning.
●
researcherYou can use structured dependency links instead of flattened problem-solution pairs for better curriculum learning.