Formal Theorem Proving on miniF2F 201-problem hard
19.4Total Solve RateVERITAS-MCTSonly (no Phase 1)
Evaluation results
| Method | Links | |
|---|---|---|
| VERITAS-MCTSonly (no Phase 1)Lean/thm=60, API ($)=602026.06 | 19.4 | |
| VERITAS-Heuristic (no LLM)Lean/thm=218, API ($)=<12026.06 | 12.4 |