Auto-formalization on Putnam-Bench
98.1Pass@8
LongCat-Flash-Prover
Updated 26d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.03 | 98.1 | |
2026.03 | 93.5 | |
2026.03 | 90.8 | |
2026.03 | 89.9 | |
2026.03 | 85.9 | |
2026.03 | 82.8 | |
2026.03 | 80.4 | |
2026.03 | 77.5 | |
2026.03 | 70.7 | |
2026.03 | 65.1 | |
2026.03 | 59.3 | |
2026.03 | 55.4 | |
2026.03 | 46.7 |