Automated Theorem Proving on miniF2F Easy Mode (test)
215Solved Problems (Pass@32)
Goedel-Prover-V2
Updated 1mo ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.04 | 215 | |
2026.04 | 201 | |
2026.04 | 168 | |
2026.04 | 141 | |
2026.04 | 122 |
Goedel-Prover-V2
| Method | Links | |
|---|---|---|
2026.04 | 215 | |
2026.04 | 201 | |
2026.04 | 168 | |
2026.04 | 141 | |
2026.04 | 122 |