Theorem Proving on Prover-Bench
70.8Pass@32
LongCat-Flash-Prover
Updated 25d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.03 | 70.8 | |
2026.03 | 69.5 | |
2026.03 | 66.5 | |
2026.03 | 59.1 | |
2026.03 | 57.9 | |
2026.03 | 53.2 | |
2026.03 | 52.9 | |
2026.03 | 49.9 | |
2026.03 | 49.5 | |
2026.03 | 49 | |
2026.03 | 48.7 | |
2026.03 | 47.8 | |
2026.03 | 44.6 | |
2026.03 | 44.3 | |
2026.03 | 42.9 | |
2026.03 | 42.8 | |
2026.03 | 39.8 | |
2026.03 | 37.8 | |
2026.03 | 33.5 |