works on
automated code review 1autonomous coding agents 1lifecycle management 1proof-or-stop 1software verification 1verifiable evidence 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

cs.AI2026

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control

Jek Huang, Jeffery Hsia, Jiayi Sun +3

The paper introduces Proof-or-Stop, a lifecycle control framework that only allows autonomous coding agents to transition software states (e.g., reviewed, DONE) when fresh, verifia…