Source · Tier B · PreprintSource · Verification methods for international AI agreements
Verification methods for international AI agreements
A. R. Wasil, T. Reed, J. W. Miller, P. Barnett. 2024. arXiv.
| Original | https://arxiv.org/abs/2408.16074 |
|---|---|
| DOI | 10.48550/arXiv.2408.16074 |
| arXiv | 2408.16074 |
| Accessed | 2026-09-25 |
| Imported from | hodgkins-ai-verification-papers@c71e59ff0e8e |
| Note | Listed under "Motivations and policy proposals" in the Hodgkins bibliography (CC BY 4.0). |
Cited by
- Cap frontier trainingGoal
- Chips are where they are declared to beClaim
- Compute stock is at most a declared amountClaim
- Declared hardware is idle or shut downClaim
- There is no undeclared relevant computeClaim
- Declared safeguards were applied during inferenceClaim
- A training run stayed within declared limitsClaim
- FLOP accountingConcept
- Undeclared computeConcept