Formal Theorem Proving on LeanWorkbook (In-domain)
572.34Average Token Cost
Step-level
Updated 21d ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2026.05 | 572.34 | 10.54 | |
2026.05 | 602.1 | 12.35 | |
2026.05 | 949.99 | 23.06 | |
2026.05 | 4,189.69 | 19.94 |
Step-level
| Method | Links | ||
|---|---|---|---|
2026.05 | 572.34 | 10.54 | |
2026.05 | 602.1 | 12.35 | |
2026.05 | 949.99 | 23.06 | |
2026.05 | 4,189.69 | 19.94 |