Scaling Mathematical Proof Supervision from Structured Textbooks.

arXiv:2610.40394v1 Announce Type: cross Abstract: 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 TO