TheoremBench

What is TheoremBench?

Evaluates LLMs on theorem proving in Lean4 using classical theorems, with two versions: main and premised. Includes metrics for theorem-level coverage and…

Released

2026-06-08

Evaluates

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.09450

TheoremBench paper

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

Which sources cite TheoremBench?

• TheoremBench

Related 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