AdvancedMathBench
Collection
Datasets, model, and paper for AdvancedMathBench: process-level evaluation of advanced mathematical proof generation and verification. • 3 items • Updated • 1
👋 Open to Work
Lingkai Kong
debouter
·
AI & ML interests
AI4Math
Recent Activity
commentedon a paper 10 days ago
AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification liked a model 10 days ago
internlm/AdvancedMathBench-AutoVerifier liked a dataset 10 days ago
internlm/AdvancedMathBenchOrganizations
upvoted a collection 11 days ago