Formal Theorem Proving on STP In-domain
2,604.24Average Token Cost
Segment-level
Updated 21d ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2026.05 | 2,604.24 | 41.55 | - | |
2026.05 | 2,906.41 | 50.52 | - | |
2026.05 | 4,768.51 | 73.5 | - | |
2026.05 | 12,169.05 | 42.67 | - | |
2026.05 | - | - | 97.8 | |
2026.05 | - | - | 98.12 | |
2026.05 | - | - | 95.72 | |
2026.05 | - | - | 97.32 |