Asynchronous logic automata. - David Dalrymple; Neil Gershenfeld; Kailiang Chen (Automata, 2008)

Reconfigurable asynchronous logic automata: (RALA). - Neil Gershenfeld; David Dalrymple; Kailiang Chen; Ara N. Knaian; Forrest Green; Erik D. Demaine; Scott Greenwald; Peter Schmidt-Nielsen (POPL, 2010)

Turing: Brain model still incomplete. - David Dalrymple (Nat., 2012)

Physical principles for scalable neural recording. - Adam H. Marblestone; Bradley M. Zamft; Yael Maguire; Mikhail G. Shapiro; Thaddeus Cybulski; Joshua I. Glaser; Dario Amodei; P. Benjamin Stranges; Reza Kalhor; David Dalrymple; Dongjin Seo; Elad Alon; et al. (Frontiers Comput. Neurosci., 2013)

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)

Training Safe Neural Networks with Global SDP Bounds. - Roman Soletskyi; David Dalrymple (CoRR, 2024)

International Scientific Report on the Safety of Advanced AI (Interim Report). - Yoshua Bengio; Sören Mindermann; Daniel Privitera; Tamay Besiroglu; Rishi Bommasani; Stephen Casper; Yejin Choi 001; Danielle Goldfarb; Hoda Heidari; Leila Khalatbari; Shayne Longpre; Vasilios Mavroudis; et al. (CoRR, 2024)

International AI Safety Report. - Yoshua Bengio; Sören Mindermann; Daniel Privitera; Tamay Besiroglu; Rishi Bommasani; Stephen Casper; Yejin Choi 001; Philip Fox; Ben Garfinkel; Danielle Goldfarb; Hoda Heidari; Anson Ho; et al. (CoRR, 2025)

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