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
authored a paper 2 days ago
Incentivizing Self-Learning in Large Language Models via Reinforcement Learning authored a paper 2 days ago
Scaling Mathematical Proof Supervision from Structured Textbooks commentedon a paper 2 days ago
Incentivizing Self-Learning in Large Language Models via Reinforcement LearningOrganizations