Datasets, model, and paper for AdvancedMathBench: process-level evaluation of advanced mathematical proof generation and verification.
-
AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification
Paper • 2607.11849 • Published • 29 -
internlm/AdvancedMathBench
Viewer • Updated • 1.13k • 111 • 1 -
internlm/AdvancedMathBench-AutoVerifier
Image-Text-to-Text • 36B • Updated • 109 • 1
