Dalrymple, 2024 — Towards Guaranteed Safe {AI}: A Framework for Ensuring Robust and Reliable {AI} Systems

Introduces Guaranteed Safe (GS) AI: formal safety specification, world model, and verifier for quantitative safety guarantees.

Chapter-grouped bibliography All reference cards