Scaling Mathematical Proof Supervision from Structured Textbooks Paper • 2610.40394 • Published 16 days ago • 46