"Adversarial verification has been proposed as a potential alternative component of human code-review workflows."
Jain proposes separating agents responsible for implementing code, verifying it, and attempting to break it through adversarial tests. The design illustrates a possible engineering direction for AI-assisted verification, in which automated checks and failure-seeking agents supplement the evaluation of generated software.
View Source