Agentic Proving for Program Verification. - Alessandro Sosso; Akhil Arora; Bas Spitters (CoRR, 2026)