Nuclear Arms Control Verification and Lessons for AI Treaties. - Mauricio Baker (CoRR, 2023)

Open Problems in Technical AI Governance. - Anka Reuel; Ben Bucknall; Stephen Casper; Timothy Fist; Lisa Soder; Onni Aarne; Lewis Hammond; Lujain Ibrahim; Alan Chan; Peter Wills; Markus Anderljung; Ben Garfinkel; et al. (CoRR, 2024)

Open Problems in Technical AI Governance. - Anka Reuel; Benjamin Bucknall; Stephen Casper; Timothy Fist; Lisa Soder; Onni Aarne; Lewis Hammond; Lujain Ibrahim; Alan Chan; Peter Wills; Markus Anderljung; Ben Garfinkel; et al. (Trans. Mach. Learn. Res., 2025)

Verifying International Agreements on AI: Six Layers of Verification for Rules on Large-Scale AI Development and Deployment. - Mauricio Baker; Gabriel Kulp; Oliver Marks; Miles Brundage; Lennart Heim (CoRR, 2025)