Formal Mathematical Answer-Construction on PutnamBench
17Solved InstancesGPT-5.4+Goedel-Prover-V2-32B
Evaluation Results
| Method | Links | |
|---|---|---|
| GPT-5.4+Goedel-Prover-V2-32BPass@k=322025.05 | 17 | |
| GPT-5.4+Goedel-Prover-V2-32BPass@k=42025.05 | 9 | |
| GPT-5.4Pass@k=42025.05 | 8 | |
| Goedel-Prover-V2-32BPass@k=322025.05 | 7 | |
| GPT-5.4+Goedel-Prover-V2-8BPass@k=322025.05 | 7 | |
| Goedel-Prover-V2-32BPass@k=42025.05 | 6 | |
| GPT-5.4+Goedel-Prover-V2-8BPass@k=42025.05 | 2 |