Autoformalization on miniF2F (test)
96TC@1
Oracle*
Updated 11d ago
Evaluation Results
| Method | Links | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
2025.10 | 96 | - | - | - | - | - | 28.89 | 100 | 93.33 | |
2025.10 | 95.98 | - | - | - | - | - | 30.36 | - | - | |
2025.10 | 95.55 | - | - | - | - | - | 9.77 | 100 | 26.67 | |
2025.10 | 95.09 | - | - | - | - | - | 31.25 | - | - | |
2025.10 | 93.75 | - | - | - | - | - | 32.59 | - | - | |
2025.10 | 93.33 | - | - | - | - | - | 22.22 | 100 | 93.33 | |
2025.10 | 93.33 | - | - | - | - | - | 26.67 | 100 | 93.33 | |
2025.10 | 93.3 | - | - | - | - | - | 35.27 | - | - | |
2025.10 | 77.68 | - | - | - | - | - | 23.21 | 87.5 | 28.12 | |
2025.10 | 77.23 | - | - | - | - | - | 24.55 | 92.41 | 32.14 | |
2025.10 | 76.34 | - | - | - | - | - | 22.77 | 87.5 | 27.23 | |
2025.10 | 75.89 | - | - | - | - | - | 22.77 | 87.95 | 27.68 | |
2025.10 | 75.45 | - | - | - | - | - | 23.66 | 89.29 | 30.36 | |
2025.10 | 74.55 | - | - | - | - | - | 24.55 | 92.41 | 29.02 | |
2025.10 | 74.11 | - | - | - | - | - | 22.77 | 88.84 | 24.55 | |
2025.10 | 69.64 | - | - | - | - | - | 23.21 | 84.82 | 28.12 | |
| - | 80.33 | 53.59 | 80.19 | 54.92 | 55.69 | - | - | - | ||
| - | 93.44 | 66.6 | 86.34 | 70.7 | 72.34 | - | - | - | ||
| - | 93.44 | 71.11 | 88.66 | 74.8 | 75.98 | - | - | - | ||
| - | 93.44 | 72.34 | 89.48 | 75.82 | 77 | - | - | - | ||
| - | 93.44 | 73.57 | 89.89 | 76.84 | 77.89 | - | - | - | ||
| - | 93.44 | 74.08 | 90.16 | 77.05 | 78.22 | - | - | - | ||
| - | 80.33 | 29.92 | 47.27 | 16.8 | 27.61 | - | - | - | ||
| - | 93.44 | 36.78 | 51.37 | 20.9 | 35.03 | - | - | - | ||
| - | 93.44 | 39.04 | 52.73 | 22.75 | 36.85 | - | - | - | ||
| - | 93.44 | 39.96 | 53.96 | 23.16 | 37.7 | - | - | - | ||
| - | 93.44 | 40.06 | 54.51 | 23.77 | 38.13 | - | - | - | ||
| - | 93.44 | 39.86 | 54.64 | 23.98 | 38.17 | - | - | - |