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