Back to papers
July 16, 2026cs.AIcs.SE

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

Categories

cs.AI, cs.SE