2026-11-12 · America/Los_Angeles · 论文 · #1

Scaling Mathematical Proof Supervision from Structured Textbooks

Mathematical supervision for language models is typically flattened into isolated problem-solution pairs, discarding the curricular organization and evidential structure of the original sources. We introduce TOME-Math (Textbook-Oriented Mathematical Evidence), a large-scale corpus that converts 2,118 textbooks spanning the core areas of university-level mathematics subjects into approximately 380K structured proof-supervision records while preserving chapter order, proposition-proof links, dependency references, and source provenance. Leveraging these structural signals, we explore…

热度 45.2 / 100；排名与评分保留该期记录。