AdvancedMathBench

What is AdvancedMathBench?

AdvancedMathBench is a benchmark suite for advanced mathematical reasoning, containing ProverBench (296 proof problems) and VerifierBench (888 proof…

Released

2026-07-13

Evaluates

Language & Knowledge, Mathematics & Formal Science, Reasoning

Openness

unknown

Importer

Claire Radar

Review status

unreviewed

Reported scores

0

Source provenance

• Original evidence https://arxiv.org/abs/2607.11849

AdvancedMathBench paper

• Paper https://arxiv.org/abs/2607.11849

Which sources cite AdvancedMathBench?

• AdvancedMathBench

Related Language & Knowledge, Mathematics & Formal Science, Reasoning benchmarks

• 5-Dialects-BN
• A Large-Scale Dataset and Benchmark
• A-OKVQA
• AARRI-Bench
• ABC-Bench
• ActiveFly-Bench
• ActiveSciBench
• AdaMem-Bench