Source · Tier B · Technical report
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.
| Link | https://www.rand.org/pubs/working_papers/WRA4077-1.html |
|---|---|
| DOI | 10.7249/WRA4077-1 |
| arXiv | 2507.15916 |
| Accessed | 2026-09-23 |
| Organization | 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 or data have not left the facility
- Compartmentalization
- FLOP accounting
- Inference and training workloads
- Network tap
- Positive and negative claims
- Prover
- Undeclared compute
- Verifier
- RAND