Categories Companies Research

Loading the SOTA2 catalog…

Explore

Categories Companies Research

Contribute

Join SOTA2 Contact

SOTA2

© 2026 SOTA2

Build in Bellevue, USA

WizWand is now SOTA2 Research

Papers Benchmarks Datasets Tasks

Mathematical Theorem Proving research benchmarks · SOTA2 Research

Mathematical Theorem Proving

Benchmarks

Dataset NameSOTA MethodSort

Dataset NameSOTA methodMetricTrendResultsLast Updated

91.2Proof-level Accuracy

23

Jun 30, 2026

LEAN-IMO-BENCH (Advanced)

100Algebra Accuracy

5

Jun 4, 2026

LEAN-IMO-BENCH Basic Set

100Algebra Score

5

Jun 4, 2026

11.9Proof-level Accuracy

3

Jun 16, 2026

6.9Proof-level Accuracy

3

Jun 16, 2026

16.2Proof-level Accuracy

3

Jun 16, 2026

163Total Spend

3

Jun 5, 2026

Popular datasets

LEAN-IMO-BENCH MATH AIME OlympiadBench PutnamBench

Follow for updates

Join SOTA2 Contact