Scaling Mathematical Proof Supervision from Structured Textbooks Paper • 2610.40394 • Published 17 days ago • 48