MA-ProofBench

What is MA-ProofBench?

MA-ProofBench evaluates LLMs on theorem proving in mathematical analysis using 200 Lean 4 formalized problems split into undergraduate and Ph.D. levels. It…

Released

2026-06-11

Evaluates

Factuality, Language & Knowledge, Mathematics & Formal Science, cs.AI

Openness

unknown

Importer

Claire Radar

Review status

unreviewed

Reported scores

0

Source provenance

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

MA-ProofBench paper and code

• Paper https://arxiv.org/abs/2606.13782
• Code https://github.com/OpenBMB/MA-ProofBench

Which sources cite MA-ProofBench?

• MA-ProofBench

Related Factuality, Language & Knowledge, Mathematics & Formal Science, cs.AI benchmarks

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