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

Formal Theorem Proving research benchmarks – Page 3 · SOTA2 Research

Formal Theorem Proving

Benchmarks

Dataset NameSOTA MethodSort

Dataset NameSOTA methodMetricTrendResultsLast Updated

LeanDojo (test)

58.25Pass Rate

2

Apr 9, 2026

Seed-Prover 1.5

33Solve Rate

2

Feb 26, 2026

large-scale benchmark 2,000 problems (test)

0.813FR Rate

2

Feb 26, 2026

Goedel-Architect

3Solved Count

1

Jun 5, 2026

Page 3 of 3

Popular datasets

F2F NuminaMath ProofNet AbstractAlgebra QuantumTheorems

Follow for updates

Join SOTA2 Contact