Auto-formalization on MathOlympiad-Bench
99.2Pass@8
LongCat-Flash-Prover
Updated 25d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.03 | 99.2 | |
2026.03 | 94.4 | |
2026.03 | 93.3 | |
2026.03 | 93.1 | |
2026.03 | 91.1 | |
2026.03 | 89.2 | |
2026.03 | 85.6 | |
2026.03 | 83.6 | |
2026.03 | 78.6 | |
2026.03 | 76.7 | |
2026.03 | 73.2 | |
2026.03 | 71.9 | |
2026.03 | 33.3 |