Automated Theorem Proving on CombiBench Easy Mode
10Solved Problems (Pass@32)Goedel-Prover-V2
Evaluation results
| Method | Links | |
|---|---|---|
| Goedel-Prover-V2Pass@k=Pass@322026.04 | 10 | |
| Kimina-Prover PreviewPass@k=Pass@322026.04 | 8 | |
| Goedel-Prover-SFTPass@k=Pass@322026.04 | 3 | |
| DeepSeek-Prover-V1.5Pass@k=Pass@322026.04 | 2 |