Explore
AI Tools
New Tools
AI Agents
One9 Worker
LLMs
RAG & Vector DBs
Research
Assemble a stack
Founder Stacks
Compare
How We Rate
About
$
/
₹
⌘K
Sign up free
Login
Back to papers
July 16, 2026
cs.AI
cs.SE
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
,
Freddie Shi
,
Wei Huang
,
Ian H. White
Original Abstract
Read on arXiv
Download PDF
Categories
cs.AI, cs.SE