Automated Theorem Proving on PutnamBench Easy Mode
43Solved Problems (Pass@32)Goedel-Prover-V2
Evaluation results
| Method | Links | |
|---|---|---|
| Goedel-Prover-V2Pass@k=Pass@322026.04 | 43 | |
| DeepSeek-Prover-V2Prompting Strategy=CoT, Pass@k=Pass@322026.04 | 22 | |
| Goedel-Prover-SFTPass@k=Pass@322026.04 | 6 |