Datasets, model, and paper for AdvancedMathBench: process-level evaluation of advanced mathematical proof generation and verification.
👋 Open to Work
Lingkai Kong
debouter
·
AI & ML interests
AI4Math
Recent Activity
commentedon a paper about 1 hour ago
Incentivizing Self-Learning in Large Language Models via Reinforcement Learning commentedon a paper about 1 hour ago
Incentivizing Self-Learning in Large Language Models via Reinforcement Learning upvoted a paper about 9 hours ago
Scaling Mathematical Proof Supervision from Structured TextbooksOrganizations