Auto-formalization on ProofNet
91.6Compiler Success RateAria
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| Aria2025.10 | 91.6 | 68.5 | |
| Kiminapass@N=12025.10 | 70.4 | 24.7 | |
| Goedel-V2pass@N=12025.10 | 59.6 | 32 | |
| Gemini-2.5-Propass@N=12025.10 | 55.8 | 27.8 | |
| Heraldpass@N=12025.10 | 48.5 | 18.3 |