TY - RPRT TI - Verifying International Agreements on AI: Six Layers of Verification for Rules on Large-Scale AI Development and Deployment AU - Mauricio Baker AU - Gabriel Kulp AU - Oliver Marks AU - Miles Brundage AU - Lennart Heim PY - 2025 UR - https://arxiv.org/abs/2507.15916 ID - 2507.15916 ER -