Autoformalization on MiniF2F
100Compilation Pass Rate@10
Godel-V2-8B
Updated 26d ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2025.08 | 100 | 0.4 | |
2025.08 | 99.6 | - | |
2025.08 | 99.2 | 0.4 | |
2025.08 | 98.8 | - | |
2025.08 | 98 | 3 | |
2025.08 | 95.1 | - | |
2025.08 | 95.1 | 7.9 | |
2025.08 | 93.6 | 18.3 | |
2025.08 | 92.6 | 10.8 | |
2025.08 | 89.3 | 8.4 | |
2025.08 | 88.1 | - | |
2025.08 | 84.8 | 5.6 | |
2025.08 | 83.6 | - | |
2025.08 | 82.7 | 18 | |
2025.08 | 82.4 | - | |
2025.08 | 82 | 13.7 | |
2025.08 | 80.3 | - | |
2025.08 | 79.1 | - | |
2025.08 | 72.1 | - | |
2025.08 | 70.1 | - | |
2025.08 | 69.3 | 32.5 | |
2025.08 | 63.1 | 28.3 | |
2025.08 | 60.1 | 21.2 | |
2025.08 | 52.3 | - | |
2025.08 | 49.6 | - | |
2025.08 | 49.2 | - | |
2025.08 | 47.1 | 27.6 | |
2025.08 | 36.9 | - |