Auto-formalization on CombiBench
97Pass@8
LongCat-Flash-Prover
Updated 25d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.03 | 97 | |
2026.03 | 92 | |
2026.03 | 84 | |
2026.03 | 83 | |
2026.03 | 82 | |
2026.03 | 73 | |
2026.03 | 70 | |
2026.03 | 65 | |
2026.03 | 61 | |
2026.03 | 59 | |
2026.03 | 50 | |
2026.03 | 40 | |
2026.03 | 25 |