From Verification Failures to Reusable Guidance for Coding Agents.

arXiv:2609.39022v3 Announce Type: replace-cross Abstract: Coding agents need to establish that a program satisfies a specification and that the specification captures the requested behavior. We study how expert diagnosis of verification failures can become reu