ResearchBenchmarksAutomated Theorem Proving on PutnamBench Hard ModeFollow36Total Solved (Pass@32)DAP31.8432.923435.08Apr 17, 2026Evaluation ResultsMethodMethodLinksTotal Solved (Pass@32)Solution-style Solved (Pass@32)DAPAgent Usage=w/ Agent,...Agent Usage=w/ Agent, Pass@k=Pass@322026.043619DAPAgent Usage=w/o Agent,...Agent Usage=w/o Agent, Pass@k=Pass@322026.043215