Agentic Proving for Program Verification

Alessandro Sosso, Akhil Arora, Bas Spitters

Agentic systems have recently emerged as state-of-the-art approaches for automated theorem proving in formal mathematics. To assess how far these capabilities extend to program ver…