Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems. - David Dalrymple; Joar Skalse; Yoshua Bengio; Stuart Russell 001; Max Tegmark; Sanjit Seshia; Steve Omohundro; Christian Szegedy; Ben Goldhaber; Nora Ammann; Alessandro Abate; Joe Halpern; et al. (CoRR, 2024)