Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Automated Theorem Proving on PutnamBench Easy Mode
Loading...
43
Solved Problems (Pass@32)
Goedel-Prover-V2
4.52
14.51
24.5
34.49
Apr 17, 2026
Solved Problems (Pass@32)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Solved Problems (Pass@32)
Goedel-Prover-V2
Pass@k=Pass@32
2026.04
43
DeepSeek-Prover-V2
Prompting Strategy=CoT...
2026.04
22
Goedel-Prover-SFT
Pass@k=Pass@32
2026.04
6
Feedback
Search any
task
Search any
task
