Formal Theorem Proving on miniF2F
228.64Average Token Cost
Step-level
Updated 21d ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2026.05 | 228.64 | 3.87 | |
2026.05 | 446.36 | 6.84 | |
2026.05 | 457.82 | 6.82 | |
2026.05 | 543.98 | 11.88 | |
2026.05 | 611.07 | 11.24 | |
2026.05 | 809.31 | 14.54 | |
2026.05 | 1,149.8 | 10.55 | |
2026.05 | 1,199.51 | 15.13 | |
2026.05 | 2,141.8 | 21.21 | |
2026.05 | 2,554.67 | 14.15 | |
2026.05 | 3,198.5 | 18 | |
2026.05 | 4,147.67 | 23 |