Statement Autoformalization on ProofNet
131TSLean-Retry
Evaluation Results
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
| Lean-RetryModel=DeepSeek V4-Pro2026.06 | 131 | 10 | 41 | 4 | 75.8 | 70.4 | |
| Sample-FilterModel=DeepSeek V4-Pro2026.06 | 131 | 11 | 37 | 7 | 76.3 | 70.4 | |
| SAFModel=DeepSeek V4-Pro2026.06 | 129 | 11 | 39 | 7 | 75.3 | 69.4 | |
| VanillaModel=DeepSeek V4-Pro2026.06 | 95 | 16 | 61 | 14 | 59.7 | 51.1 |