Formal Theorem Proving on NuminaMath LEAN (In-domain)
1,707.19Average Token Cost
Segment-level
Updated 21d ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2026.05 | 1,707.19 | 16.46 | |
2026.05 | 3,280.93 | 37.45 | |
2026.05 | 5,246.87 | 53.27 | |
2026.05 | 12,055.07 | 48.07 |
Segment-level
| Method | Links | ||
|---|---|---|---|
2026.05 | 1,707.19 | 16.46 | |
2026.05 | 3,280.93 | 37.45 | |
2026.05 | 5,246.87 | 53.27 | |
2026.05 | 12,055.07 | 48.07 |