Skip to main content

The documents the verification pages draw on

The Verifying, Participation and Sampling pages cite 14 of the documents. The Stack page reads 32 of them and the Field page lists 32 among its works; 31 are on both pages.

The 37 documents by topic and date; 13 are from 2026.

  • Tested, in use or in force · 9
  • Proposes or analyses · 28

No single date: one document prints no date, and two are pages their publishers keep updating.

Agreements and inspections, 14 documents: 1 describes something tested, in use or in force and 13 propose or analyse; 3 from 2023, 4 from 2024, 4 from 2025 and 2 from 2026; 1 with no single date.

Workload checks, 7 documents: 4 describe something tested, in use or in force and 3 propose or analyse; 7 from 2026.

Hardware and location, 15 documents: 3 describe something tested, in use or in force and 12 propose or analyse; 5 from 2024, 5 from 2025 and 4 from 2026; 1 with no single date.

Data, 1 document: 1 describes something tested, in use or in force; 1 with no single date.

The documents

The documents are ordered by how many of the section’s pages use them, newest first among equals.

All 37 are primary sources: each is cited for its own text.

Used on three or more pages · 10

Verifying International Agreements on AI: Six Layers of Verification for Rules on Large-Scale AI Development and Deployment

Proposes a method · dated 21 Jul 2025

  • the six layers;
  • A.4 partial re-execution with constraints;
  • A.6 compute accounting via analog sensors;
  • §4.3 personnel-based layers;
  • B.2 narrower rules;
  • B.3 precautionary pauses

Used on Verifying, Stack and Field

Preventing AI Chip Smuggling to China

Proposes a method · dated 24 Oct 2023

  • the technical annex: random selection from the registry and short-notice inspection

Used on Stack, Sampling and Field

Used on two pages · 22

Near-Term Verification Methods for AI Chip Exports

Avellar and Grunewald, 2026

Proposes a method · posted 7 Sep 2026 (first published by the Institute for AI Policy and Strategy in August 2026 under Grunewald’s byline)

Open the document: Near-Term Verification Methods for AI Chip Exports

  • §1.2 inventory against shipments, printed serials, powered-on attestation;
  • §3.2 the compute formula

Used on Stack and Field

Tracking AI Chips

Feldgoise et al., 2026
Assessing Location Verification as an Export Control Enforcement Tool

Analysis · dated Sep 2026; posted 29 Sep 2026

Open the document: Tracking AI Chips

  • executive summary: ping-based location verification, physical inspections and reporting responsibility

Used on Stack and Field

Hardware-Enabled Mechanisms for Verifying Responsible AI Development

O’Gara et al., 2025
All 10 authors
O’Gara, Kulp, Hodgkins, Petrie, Immler, Aysu, Basu, Bhasin, Picek, Srivastava (O’Gara, Kulp and Hodgkins contributed equally)

Analysis · first posted 2 Apr 2025

Open the document: Hardware-Enabled Mechanisms for Verifying Responsible AI Development

  • executive summary: verifiable reporting of AI training and inference;
  • open implementation questions

Used on Stack and Field

Governing Through the Cloud: The Intermediary Role of Compute Providers in AI Regulation

Heim et al., 2024
All 8 authors and their affiliations
Heim (Centre for the Governance of AI), Fist (Center for a New American Security, Institute for Progress), Egan (Harvard Kennedy School), Huang (Department of Politics and International Relations, University of Oxford), Zekany (Centre for the Governance of AI), Trager (Centre for the Governance of AI; Blavatnik School of Government, University of Oxford; Oxford Martin AI Governance Initiative), Osborne (Department of Engineering Sciences, University of Oxford; Oxford Martin AI Governance Initiative), Zilberman (Department of Engineering Sciences, University of Oxford)

Proposes a method · dated 13 Mar 2024

Open the document: Governing Through the Cloud: The Intermediary Role of Compute Providers in AI Regulation

  • §3.3.3 compute accounting

Used on Stack and Field

Computing Power and the Governance of Artificial Intelligence

Sastry et al., 2024
All 19 authors
Sastry, Heim, Belfield, Anderljung, Brundage, Hazell, O’Keefe, Hadfield, Ngo, Pilz, Gor, Bluemke, Shoker, Egan, Trager, Avin, Weller, Bengio, Coyle (primary and other authors each listed approximately by contribution)

Analysis · dated 14 Feb 2024; posted 13 Feb 2024

Open the document: Computing Power and the Governance of Artificial Intelligence

  • the visibility mechanisms: compute reporting, chip registries and privacy-preserving workload monitoring (p. 5)

Used on Stack and Field

Secure, Governable Chips

Aarne et al., 2024
Using On-Chip Mechanisms to Manage National Security Risks from AI & Advanced Computing

Proposes a method · dated Jan 2024; posted 8 Jan 2024

Open the document: Secure, Governable Chips

  • executive summary: verification, operating licences and staged hardware hardening (p. 2)

Used on Stack and Field

Hardware-Enabled Governance Mechanisms: Developing Technical Solutions to Exempt Items Otherwise Classified Under Export Control Classification Numbers 3A090 and 4A090

Kulp et al., 2024
All 7 authors
Kulp, Gonzales, Smith, Heim, Puri, Vermeer, Winkelman

Analysis · dated Jan 2024; posted 18 Jan 2024

Open the document: Hardware-Enabled Governance Mechanisms: Developing Technical Solutions to Exempt Items Otherwise Classified Under Export Control Classification Numbers 3A090 and 4A090

The Stack page cites pp. viii–ix, 7–8, 11, 19–20, 25, 28, 31–38, 40, 44–48, 51, 53–55 and 58.

Used on Stack and Field

Used on one page · 5