Largest structured proof-supervision corpus derived from real textbook curricula; +16.7pp improvement over flat-dataset baselines suggests the AI math training field has been discarding the curricular structure of its source material, leaving easy signal on the table.
Original headline:TOME-Math Converts 2,118 University Textbooks Into 380K Structured Proof Records, Gains +16.7pp
Track only the AI that matters to you
Your own agent, watching your companies and topics.
Build your agent →
We use essential cookies to keep the site working (login, form security). With your permission, we also use analytics cookies to understand how you use the site.
Privacy policy
