Mathematical Proof Reasoning on IMO-ProofBench-Advanced USAMO 2025 (5 problems)
90Mask-Proof Avg@4
o3
Updated 1mo ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2026.06 | 90 | 52.4 | |
2026.06 | 90 | 33.3 | |
2026.06 | 75 | 16.7 | |
2026.06 | 75 | 23.8 | |
2026.06 | 70 | 21.4 | |
2026.06 | 55 | 0 | |
2026.06 | 40 | 4.8 |