Autoformalization on ProofNet (test)
44.09πFV
Monotonic Reference-Free Refinement
Updated 11d ago
Evaluation Results
| Method | Links | |||||||
|---|---|---|---|---|---|---|---|---|
| 44.09 | 32.93 | 59.14 | 47.58 | 28.41 | - | - | ||
| 44.09 | 32.93 | 58.96 | 49.46 | 28.97 | - | - | ||
| 44.09 | 33.33 | 59.5 | 49.73 | 29.38 | - | - | ||
| 44.09 | 33.87 | 59.68 | 50.27 | 29.79 | - | - | ||
| 44.09 | 13.58 | 29.21 | 8.87 | 8.44 | - | - | ||
| 44.09 | 12.9 | 28.85 | 8.6 | 8 | - | - | ||
| 44.09 | 12.9 | 29.03 | 8.33 | 7.97 | - | - | ||
| 44.09 | 12.9 | 29.21 | 8.33 | 8.03 | - | - | ||
| 43.55 | 30.78 | 58.24 | 45.16 | 26.4 | - | - | ||
| 43.55 | 13.98 | 29.39 | 8.33 | 8.15 | - | - | ||
| 29.57 | 26.34 | 55.91 | 37.63 | 16.52 | - | - | ||
| 29.57 | 11.96 | 29.39 | 7.8 | 5.18 | - | - | ||
2025.10 | - | - | - | - | - | 81.28 | 26.2 | |
2025.10 | - | - | - | - | - | 68.45 | 17.65 | |
2025.10 | - | - | - | - | - | 75.67 | 19.25 | |
2025.10 | - | - | - | - | - | 78.61 | 19.79 |