Source · Tier B · Technical reportSource · Verifying International Agreements on AI: Six Layers of Verification for Rules on Large-Scale AI Development and Deployment
Verifying International Agreements on AI: Six Layers of Verification for Rules on Large-Scale AI Development and Deployment
M. Baker, G. Kulp, O. Marks, M. Brundage, L. Heim. 2025. RAND Corporation.
| Original | https://www.rand.org/pubs/working_papers/WRA4077-1.html |
|---|---|
| Archived copy | https://web.archive.org/web/20260918125709/https://www.rand.org/pubs/working_papers/WRA4077-1.html |
| DOI | 10.7249/WRA4077-1 |
| arXiv | 2507.15916 |
| Accessed | 2026-09-25 |
| Authored or published by | RAND |
| Imported from | hodgkins-ai-verification-papers@c71e59ff0e8e |
| Note | Listed under "Research agendas and surveys" in the Hodgkins bibliography (CC BY 4.0). |
Cited by
- R1Chip registries and manufacturing records
- R1Remote detection of data centres
- Communication between compute groups is bounded
- Compute stock is at most a declared amount
- Declared hardware is idle or shut down
- The declared model is the one being served
- This compute runs inference, not training
- There is no undeclared relevant compute
- Declared safeguards were applied during inference
- A training run stayed within declared limits
- Model weights have not left the facility
- Compartmentalization
- FLOP accounting
- Inference and training workloads
- Network tap
- Positive and negative claims
- Prover
- Undeclared compute
- Verifier
- RAND