AdvancedMathBench - a debouter Collection

debouter 's Collections

AdvancedMathBench

AdvancedMathBench

updated about 3 hours ago

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 Jul 13 • 29
internlm/AdvancedMathBench

Viewer • Updated about 1 hour ago • 1.13k • 1
internlm/AdvancedMathBench-AutoVerifier

Image-Text-to-Text • 36B • Updated about 1 hour ago