Auto-formalization
Benchmarks
DatasetSOTA methodMetricTrendResultsLast updated
98.1Pass@8
13
Mar 24, 2026
100Pass@8
13
Mar 24, 2026
97.9Pass@8
13
Mar 24, 2026
100Pass@8
13
Mar 24, 2026
99.2Pass@8
13
Mar 24, 2026
99.8Pass@8
13
Mar 24, 2026
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