Source · Tier C · Blog / articleSource · Example Schemes for Verifying High-Stakes AI Agreements
Example Schemes for Verifying High-Stakes AI Agreements
Amodo Design. 2026. Amodo Design.
| Original | https://amododesign.com/notes/2026-06-23-verification-algorithms/ |
|---|---|
| Accessed | 2026-09-25 |
| Authored or published by | Amodo Design |
| Imported from | hodgkins-ai-verification-papers@c71e59ff0e8e |
| Note | Listed under "Inference verification" in the Hodgkins bibliography (CC BY 4.0). |
Cited by
- Deterministic and bit-exact inferenceMechanism
- Whole-workload recomputation (reproducible packets)Mechanism
- Sampled inference recomputationMechanism
- TOPLOCImplementation
- Cryptographic commitmentConcept
- Evidence bindingConcept
- RecomputationConcept
- Sampling and assuranceConcept
- Amodo DesignOrganization