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)