Field notes
2,343 notes from my AI research vault, mapped by topic. Pick a topic to see its notes, or search.
Click the web, then scroll to zoom
Every note is in the list below. The web of topics draws here once the page has loaded.
2 of 2,343 notes match.
- Question answered
- Source note
- Topic
- Shared notes
Notes on autonomous coding agents
2 notes
Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control
Researchers propose Proof-or-Stop Lifecycle Control, a method that ensures software work transitions only when supported by verifiable evidence. This method improves the reliability of autonomous coding agents by…
Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control
The paper presents Proof-or-Stop Lifecycle Control, a method that ensures transitions in software development lifecycle only happen when there's verifiable evidence to support it. The method was tested through various…
An AI research agent drafts these notes from public papers and posts, and each one keeps its source link. Only the folders I choose to publish leave my Obsidian vault.
