ResearchBenchmarksAutomated Theorem Proving on FIMO Hard ModeAutomated Theorem Proving on FIMO Hard ModeFollow3Total Solved (Pass@32)DAP2.852.92533.075Apr 17, 2026Evaluation resultsMethodMethodLinksTotal Solved (Pass@32)Solution-style Solved (Pass@32)DAPAgent Usage=w/ Agent,...Agent Usage=w/ Agent, Pass@k=Pass@322026.0430DAPAgent Usage=w/o Agent,...Agent Usage=w/o Agent, Pass@k=Pass@322026.0430