Proof Writing on IMO-GradingBench
4.33Score
RQGM prover (specialist)
Updated 29d ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2026.06 | 4.33 | 61.7 | 48.3 | |
2026.06 | 4.07 | 55 | 55 | |
2026.06 | 3.73 | 51.7 | 45 | |
2026.06 | 3.73 | 51.7 | 45 |
RQGM prover (specialist)
| Method | Links | |||
|---|---|---|---|---|
2026.06 | 4.33 | 61.7 | 48.3 | |
2026.06 | 4.07 | 55 | 55 | |
2026.06 | 3.73 | 51.7 | 45 | |
2026.06 | 3.73 | 51.7 | 45 |