Autoformalization on miniF2F (test)
93.44πFV
Monotonic Reference-Free Refinement
Updated 4d ago
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| 93.44 | 66.6 | 86.34 | 70.7 | 72.34 | ||
| 93.44 | 71.11 | 88.66 | 74.8 | 75.98 | ||
| 93.44 | 72.34 | 89.48 | 75.82 | 77 | ||
| 93.44 | 73.57 | 89.89 | 76.84 | 77.89 | ||
| 93.44 | 74.08 | 90.16 | 77.05 | 78.22 | ||
| 93.44 | 36.78 | 51.37 | 20.9 | 35.03 | ||
| 93.44 | 39.04 | 52.73 | 22.75 | 36.85 | ||
| 93.44 | 39.96 | 53.96 | 23.16 | 37.7 | ||
| 93.44 | 40.06 | 54.51 | 23.77 | 38.13 | ||
| 93.44 | 39.86 | 54.64 | 23.98 | 38.17 | ||
| 80.33 | 53.59 | 80.19 | 54.92 | 55.69 | ||
| 80.33 | 29.92 | 47.27 | 16.8 | 27.61 |