XLab Tracks · Verification
Interactive modules, primers, and exercises on verifying international AI agreements — from why the problem matters, to the compute supply chain, to the game theory that makes verification the hinge of any deal.