TOME-Math released
The story so far
Hugging Face has released the TOME-Math mathematical proof supervised corpus, converting 2,118 university mathematics textbooks into approximately 380K structured proof supervised records, improving the mathematical reasoning ability of language models by 16.7 percentage points, surpassing all three public instruction data baselines. This corpus will be released to promote structured mathematical supervised research.
AI-written from the reports · Updated 2 days ago
Coverage timeline
Follow the coverage to see every side of the story.
- Hugging Face Daily PapersTOME-Math: A mathematical proof supervisory corpus based on structured textbooks
TOME-Math transforms 2,118 university mathematics textbooks into approximately 380K structured proof supervision records, preserving chapter order, proposition-proof links, and dependency references, used for fine-tuning to improve the mathematical reasoning ability of language models by 16.7 percentage points, surpassing all three public instruction datasets. This corpus will be released to promote structured mathematical supervision research.
Heat over time
- Now
- 3
- Peak
- 812 Nov, 16:00
- 24h change
- -49%
Hover or tap the chart to see each hour; use the arrow keys on a keyboard.