ResearchBenchmarksAutomated Theorem Proving on miniF2F Hard Mode (test)Automated Theorem Proving on miniF2F Hard Mode (test)Follow204Total Solved (Pass@32)DAP200.88201.69202.5203.31Apr 17, 2026Evaluation resultsMethodMethodLinksTotal Solved (Pass@32)Solution-style Solved (Pass@32)DAPAgent Usage=w/o Agent,...Agent Usage=w/o Agent, Pass@k=Pass@322026.04204171DAPAgent Usage=w/ Agent,...Agent Usage=w/ Agent, Pass@k=Pass@322026.04201168