| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| IMO-ProofBench Advanced (full set) | Mask-Proof Average@458.6 | 14 | 1mo ago | ||
| IMO-ProofBench-Advanced USAMO 2025 (5 problems) | Mask-Proof Avg@490 | 7 | 1mo ago | ||
| IMO-ProofBench-Advanced Novel (22 problems) | Mask-Proof Avg@455.7 | 7 | 1mo ago |