Theorem Autoformalization
Benchmarks
DatasetSOTA methodMetricTrendResultsLast updated
100FV
11
Apr 28, 2026
6.57Objects Score
1
Apr 28, 2026
4.92Objects Count
1
Apr 28, 2026
4.47Objects
1
Apr 28, 2026
3.67Objects Count
1
Apr 28, 2026
3.67Objects
1
Apr 28, 2026
3.14Objects Score
1
Apr 28, 2026