2 papers
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…
quant-ph2026
Graphix: A software framework for Measurement-Based Quantum Computation
Mateo Uldemolins, Pranav Nair, Emlyn Graham +3
Measurement-based quantum computing (MBQC) is a powerful model for quantum computation, but dedicated software tools that bridge its theoretical foundations with practical research…