Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Automated Theorem Proving on PutnamBench Hard Mode
Loading...
36
Total Solved (Pass@32)
DAP
31.84
32.92
34
35.08
Apr 17, 2026
Total Solved (Pass@32)
Solution-style Solved (Pass@32)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Total Solved (Pass@32)
Solution-style Solved (Pass@32)
DAP
Agent Usage=w/ Agent,...
2026.04
36
19
DAP
Agent Usage=w/o Agent,...
2026.04
32
15
Feedback
Search any
task
Search any
task
