Source · Tier B · Preprint
Mechanisms to Verify International Agreements About AI Development
A. Scher, L. Thiergart. 2025. arXiv.
| Link | https://arxiv.org/abs/2506.15867 |
|---|---|
| DOI | 10.48550/arXiv.2506.15867 |
| arXiv | 2506.15867 |
| Accessed | 2026-09-23 |
| Organization | Machine Intelligence Research Institute |
| Imported from | hodgkins-ai-verification-papers@c71e59ff0e8e |
| Note | Listed under "Research agendas and surveys" in the Hodgkins bibliography (CC BY 4.0). |
Cited by
- R1Proofs of useful work and resource exhaustion
- Communication between compute groups is bounded
- Chips are where they are declared to be
- Compute stock is at most a declared amount
- Declared hardware is idle or shut down
- This compute runs inference, not training
- There is no undeclared relevant compute
- Model weights or data have not left the facility
- Compartmentalization
- Evidence binding
- Inference and training workloads
- Interconnect bandwidth
- Positive and negative claims
- Proof of (useful) work
- Remote attestation
- Side channel
- Undeclared compute
- Machine Intelligence Research Institute