Automated Theorem Proving on FIMO Easy Mode
4Solved Problems (Pass@32)Goedel-Prover-V2
Evaluation results
| Method | Links | |
|---|---|---|
| Goedel-Prover-V2Pass@k=Pass@322026.04 | 4 | |
| Goedel-Prover-SFTPass@k=Pass@322026.04 | 2 | |
| DeepSeek-Prover-V1.5Pass@k=Pass@322026.04 | 1 | |
| DeepSeek-Prover-V2Prompting Strategy=CoT, Pass@k=Pass@322026.04 | 1 | |
| Kimina-Prover PreviewPass@k=Pass@322026.04 | 1 |