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)

Gradual Disempowerment: Systemic Existential Risks from Incremental AI Development. - Jan Kulveit; Raymond Douglas; Nora Ammann; Deger Turan; David Krueger 001; David Duvenaud (CoRR, 2025)

Flexible Hardware-Enabled Guarantees for AI Compute. - James Petrie; Onni Aarne; Nora Ammann; David Dalrymple (CoRR, 2025)