AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification
Large language models (LLMs) have achieved remarkable performance on high-school and olympiad-style mathematics, yet their capabilities on advanced mathematics remain poorly understood. Existing benchmarks, however, fall short in both scope and evaluation granularity: they provide limited disciplinary coverage and often rely on final-answer correctness or coarse judgments, leaving the validity of the reasoning process inadequately assessed. To bridge this gap, we introduce AdvancedMathBench, a benchmark suite designed to evaluate advanced mathematical reasoning capabilities. Its core proof-gen
Lineage graph
Paper → model → repo connections mined from source citations (Tier-1 exact match).
Why these links exist
- Linked via arxiv authorLingkai Kong →
AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification
- Linked via arxiv authorZijian Wu →
AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification
- Linked via arxiv authorYuzhe Gu →
AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification
- Linked via arxiv authorHaiteng Zhao →
AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification
- Linked via arxiv authorWenyong Huang →
AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification
- Linked via arxiv authorShuang Sun →
AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification
- Linked via arxiv authorZhicheng Xiong →
AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification
- Linked via arxiv authorXiaotian Zhang →
AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification
- Linked via arxiv authorShuya Zhao →
AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification
- Linked via arxiv authorLinyan Wang →
AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification
- Linked via arxiv authorDisheng Xu →
AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification
- Linked via arxiv authorWenwei Zhang →
AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification
- Linked via arxiv authorKai Chen →
AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification