Machine learningML & AI Methods

Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

The paper introduces guaranteed safe (GS) AI, a set of AI safety approaches that aim to provide AI systems with high-assurance quantitative safety guarantees, achieved through the interaction of a world model, a safety specification, and a verifier, arguing for the necessity of this approach to AI safety.