Autoformalization
Benchmarks
Dataset NameSOTA methodMetricTrendResultsLast Updated
100Compilation Pass Rate@10
28
Mar 24, 2026
94.1Compilation Pass Rate@10
28
Mar 24, 2026
100Compilation Pass Rate@10
28
Mar 24, 2026
72.32TC@1
16
Apr 8, 2026
96TC@1
16
Apr 8, 2026
44.09πFV
12
Apr 8, 2026
74.2Mean Score
8
Apr 16, 2026
80.13Success Count (SC)
7
Apr 23, 2026
95.38Success Count
7
Apr 23, 2026
0.561Mean Cycle Consistency
6
Mar 26, 2026
66.9Mean Cycle Consistency
6
Mar 26, 2026
0.64Cross-Entropy Loss
3
Mar 26, 2026
100Proof Success Rate
2
Jun 5, 2026
3Targets Proven
2
Jun 5, 2026
24Active days
2
Apr 10, 2026