Auto-formalization on ProofNet (test)
97.9Pass@8
LongCat-Flash-Prover
Updated 26d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.03 | 97.9 | |
2026.03 | 91.9 | |
2026.03 | 90.9 | |
2026.03 | 88.2 | |
2026.03 | 87.1 | |
2026.03 | 81.8 | |
2026.03 | 79 | |
2026.03 | 76.9 | |
2026.03 | 62.4 | |
2026.03 | 55.4 | |
2026.03 | 53.8 | |
2026.03 | 53.8 | |
2026.03 | 45.7 |