Automated Theorem Proving on miniF2F Easy Mode (test)
215Solved Problems (Pass@32)Goedel-Prover-V2
Evaluation results
| Method | Links | |
|---|---|---|
| Goedel-Prover-V2Pass@k=Pass@322026.04 | 215 | |
| DeepSeek-Prover-V2Prompting Strategy=CoT, Pass@k=Pass@322026.04 | 201 | |
| Kimina-Prover PreviewPass@k=Pass@322026.04 | 168 | |
| Goedel-Prover-SFTPass@k=Pass@322026.04 | 141 | |
| DeepSeek-Prover-V1.5Pass@k=Pass@322026.04 | 122 |