verification and validation
4 notes, newest first.
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…
