Theorem-proving on MathOlympiad-Bench
46.7Pass@32
LongCat-Flash-Prover
Updated 25d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.03 | 46.7 | |
2026.03 | 42.5 | |
2026.03 | 35.8 | |
2026.03 | 27.5 | |
2026.03 | 20.3 | |
2026.03 | 16.9 | |
2026.03 | 16.7 | |
2026.03 | 16.7 | |
2026.03 | 14.7 | |
2026.03 | 13.9 | |
2026.03 | 13.1 | |
2026.03 | 11.1 | |
2026.03 | 11.1 | |
2026.03 | 8.6 | |
2026.03 | 7.5 | |
2026.03 | 3.9 |