Example Schemes for Verifying High-Stakes AI Agreements
Recomputation-based schemes for verifying that an AI cluster ran the workloads it declared — covering inference (TOPLOC, Token-DiFR) and pre-training — plus the non-determinism, game theory, and practicalities that make them work.












