@book{WR-A4077-1,
author="Baker, Mauricio and Gabriel Kulp and Oliver Marks and Miles Brundage and Lennart Heim",
title="Verifying International Agreements on AI: Six Layers of Verification for Rules on Large-Scale AI Development and Deployment",
address="Santa Monica, CA",
year="2025",
doi="10.7249/WRA4077-1",
publisher="RAND Corporation"
}%n