Multimodal Autoformalization
Benchmarks
DatasetSOTA methodMetricTrendResultsLast updated
80Compilation Success
20
Feb 26, 2026
1Compile Rate
10
Feb 26, 2026
60Compile Rate
10
Feb 26, 2026
70Compile Rate
10
Feb 26, 2026
20Compile Rate
10
Feb 26, 2026
0.667Compile Success Rate
10
Feb 26, 2026
71.4Compile Rate
10
Feb 26, 2026
71.4Compile Rate
10
Feb 26, 2026
100Compile Rate
10
Feb 26, 2026
76Compile Rate
10
Feb 26, 2026