Autoformalization on ProofNet
94.1Compilation Pass Rate@10
Kimina-7B
Updated 26d ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2025.08 | 94.1 | 7.7 | |
2025.08 | 87.4 | - | |
2025.08 | 87.4 | 2.1 | |
2025.08 | 85.6 | 5.5 | |
2025.08 | 85.6 | - | |
2025.08 | 81.1 | - | |
2025.08 | 80.2 | 9.9 | |
2025.08 | 79.7 | 10.4 | |
2025.08 | 79.4 | 30.4 | |
2025.08 | 75.1 | 5.9 | |
2025.08 | 73 | - | |
2025.08 | 72.2 | - | |
2025.08 | 70.9 | - | |
2025.08 | 69.3 | 6.6 | |
2025.08 | 65 | - | |
2025.08 | 63.1 | 10.7 | |
2025.08 | 62.6 | 30.4 | |
2025.08 | 60.9 | - | |
2025.08 | 57 | - | |
2025.08 | 55.1 | 24.1 | |
2025.08 | 53.1 | 33.4 | |
2025.08 | 48 | - | |
2025.08 | 44.4 | - | |
2025.08 | 42.2 | 41.1 | |
2025.08 | 39.8 | - | |
2025.08 | 37 | 56.8 | |
2025.08 | 29.9 | - | |
2025.08 | 23.6 | - |