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

Auto-formalization research benchmarks · SOTA2 Research

Auto-formalization

Benchmarks

Dataset NameSOTA MethodSort

Dataset NameSOTA methodMetricTrendResultsLast Updated

LongCat-Flash-Prover

98.1Pass@8

13

Mar 24, 2026

LongCat-Flash-Prover

100Pass@8

13

Mar 24, 2026

ProofNet (test)

LongCat-Flash-Prover

97.9Pass@8

13

Mar 24, 2026

LongCat-Flash-Prover

100Pass@8

13

Mar 24, 2026

MathOlympiad-Bench

LongCat-Flash-Prover

99.2Pass@8

13

Mar 24, 2026

FormalMath-Lite

LongCat-Flash-Prover

99.8Pass@8

13

Mar 24, 2026

LongCat-Flash-Prover

97Pass@8

13

Mar 24, 2026

42.9Final Accuracy

9

Jul 3, 2026

69Compiler Success Rate

9

Jul 3, 2026

91Compiler Success Rate

9

Jul 3, 2026

91.6Compiler Success Rate

5

Jul 3, 2026

Popular datasets

ProofNet F2F Fate Fate-X Combibench

Follow for updates

Join SOTA2 Contact