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.
4 of 2,343 notes match.
- Question answered
- Source note
- Topic
- Shared notes
Notes on verification and validation
4 notes
Verifiable abstention makes AI leak diagnosis accountable in water distribution networks
Researchers propose a method for AI in leak localization in water distribution networks that includes verifiable abstention, ensuring accountability when the AI does not act. The method uses a physics-grounded executor…
A Computational Ethical Framework for Financial Digital Phenotyping for Mental Health
Researchers propose a computational ethical framework to verify that AI-driven digital phenotyping systems adhere to ethical requirements, specifically focusing on consent, privacy, and fairness. The framework uses…
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 software work transitions only when supported by verifiable evidence. The method was tested using an open-source implementation and showed…
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.
