Verifying AI-authored code: Teaching your agents how to correct their own output

AI coding has fundamentally changed how software is written and improvements are real. Tools like Claude Code and Cursor speed up developer velocity and change how we approach software engineering, leading to better designs. However, as AI is writing more code than ever, testing and verification is the new bottleneck. Join this workshop, if you are running into issues like: Are you and your team stretched thin because you are dealing with more and larger PRs, and spend most of your time doing code reviews? Are your agents writing tests that mostly cover the obvious path, but fail to find the real bugs affecting your customers? Are you and your team still hunting for subtle, hard-to-find bugs despite the use of AI? Are your code reviews taking longer because you no longer hold the mental map of the codebase built through manual development? In this workshop, we will show a fundamentally different approach to solving the verification gap. Instead of trying to guess every failure mode up front, we define the invariants that should always hold true for the system, and then put your…