Automated Theorem Proving on miniF2F
31.97Accuracy
KG-Prover
Updated 8d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2025.02 | 31.97 | |
2025.02 | 31.15 | |
2025.02 | 30.74 | |
2025.02 | 30.74 | |
2025.02 | 30.74 | |
2025.02 | 28.69 | |
2025.02 | 28.69 | |
2025.02 | 28.28 | |
2025.02 | 28.28 | |
2025.02 | 25 | |
2025.02 | 24.59 | |
2025.02 | 24.59 | |
2025.02 | 23.77 | |
2025.02 | 23.36 | |
2025.02 | 22.95 | |
2025.02 | 22.54 | |
2025.02 | 20.49 | |
2025.02 | 20.08 |