Formal Theorem Proving on MathOlympiadBench (MoBench)
34.44Accuracy
GOEDEL VALUE
Updated 1mo ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.03 | 34.44 | |
2026.03 | 30.28 | |
2026.03 | 14.72 | |
2026.03 | 12.5 | |
2026.03 | 8.61 | |
2026.03 | 8.61 | |
2026.03 | 7.78 | |
2026.03 | 7.78 |
GOEDEL VALUE
| Method | Links | |
|---|---|---|
2026.03 | 34.44 | |
2026.03 | 30.28 | |
2026.03 | 14.72 | |
2026.03 | 12.5 | |
2026.03 | 8.61 | |
2026.03 | 8.61 | |
2026.03 | 7.78 | |
2026.03 | 7.78 |