Scaling Mathematical Proof Supervision from Structured Textbooks
Paper • 2610.40394 • Published • 37
wilde oscar
oscarwild
AI & ML interests
None yet
Recent Activity
upvoted a paper about 14 hours ago
Scaling Mathematical Proof Supervision from Structured Textbooks liked a dataset 26 days ago
beyoru/automationbench600-open-weight-runsOrganizations
None yet
upvoted a paper about 14 hours ago