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
upvoted a collection about 3 hours ago
AdvancedMathBench updated a collection about 3 hours ago
AdvancedMathBench updated a collection about 3 hours ago
AdvancedMathBenchOrganizations
