Autoformalization on ProofNet (test)
44.09πFV
Monotonic Reference-Free Refinement
Updated 4d 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 |