List your company
ResearchFormerly WizWand

Formal Mathematical Answer-Construction on PutnamBench

17Solved InstancesGPT-5.4+Goedel-Prover-V2-32B
1.45.459.513.55May 24, 2025
Updated 5mo ago

Evaluation results

MethodLinks
GPT-5.4+Goedel-Prover-V2-32BPass@k=322025.0517
GPT-5.4+Goedel-Prover-V2-32BPass@k=42025.059
GPT-5.4Pass@k=42025.058
Goedel-Prover-V2-32BPass@k=322025.057
GPT-5.4+Goedel-Prover-V2-8BPass@k=322025.057
Goedel-Prover-V2-32BPass@k=42025.056
GPT-5.4+Goedel-Prover-V2-8BPass@k=42025.052