Auto-formalization on ProofNet
91.6Compiler Success Rate
Aria
Updated 22d ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2025.10 | 91.6 | 68.5 | |
2025.10 | 70.4 | 24.7 | |
2025.10 | 59.6 | 32 | |
2025.10 | 55.8 | 27.8 | |
2025.10 | 48.5 | 18.3 |
Aria
| Method | Links | ||
|---|---|---|---|
2025.10 | 91.6 | 68.5 | |
2025.10 | 70.4 | 24.7 | |
2025.10 | 59.6 | 32 | |
2025.10 | 55.8 | 27.8 | |
2025.10 | 48.5 | 18.3 |