2 citations · 2 across the 1 of their papers we have counts for
3 papers
cs.CR2026
Detecting AI Training in Datacentre Power
Tom Kimpson, Mauricio Baker, Emlyn Graham
AI governance agreements require methods to detect large model training runs on a monitored computing cluster, without trusting the operator. We develop a method to detect synchron…
cs.CY2026
Can Power Draw Constrain Covert Compute? Limits of Analogue Verification for AI Governance
Tom Kimpson, Mauricio Baker, Emlyn Graham
Frontier AI treaties or agreements on limiting computation require external verification; an external auditor must be able to confirm how much computation actually ran and that par…
cs.CY2023★ 2 cited
Nuclear Arms Control Verification and Lessons for AI Treaties
Mauricio Baker
Security risks from AI have motivated calls for international agreements that guardrail the technology. However, even if states could agree on what rules to set on AI, the problem…