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

ProverBench dataset and benchmarks · SOTA2 Research

Research Datasets

ProverBench

Benchmarks

Task NameDataset NameSOTA MethodSort

Task NameDataset NameSOTA ResultTrendResults

Theorem Proving

ProverBench

5.5Proof Length

13

Theorem Proving

ProverBench Number Theory

25Solved Problems

13

Autoformalization

ProverBench

95.38Success Count

7

Popular tasks

Theorem Proving Autoformalization

Follow for updates

Join SOTA2 Contact