Auto-formalization on FormalMath-Lite
99.8Pass@8
LongCat-Flash-Prover
Updated 26d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.03 | 99.8 | |
2026.03 | 98.6 | |
2026.03 | 98.1 | |
2026.03 | 98.1 | |
2026.03 | 97.9 | |
2026.03 | 97.9 | |
2026.03 | 97.4 | |
2026.03 | 95.5 | |
2026.03 | 95.2 | |
2026.03 | 94.3 | |
2026.03 | 90.9 | |
2026.03 | 88 | |
2026.03 | 86.8 |