Mauricio Baker, Anjay Friedman
Our stream focuses on AI verification, as in how actors can check that the use of AI compute is compliant with policy, especially for enabling international agreements on AI. This sense of verification is much broader than formal verification.
Stream overview
Our stream's projects focus on AI compute verification. Projects could include: investigating technical cruxes for the feasibility of verifying compliance with international agreements on AI, supporting system security analyses, developing R&D proposals, and developing policy recommendations for how government agencies or AI companies could advance AI verification soon. Projects are not limited to hardware; there are live questions in software, ML, policy, and more.
Standard (1-2 hours of weekly 1:1s)
Washington, D.C.
Indifferent
Weak preference
Mentors
Mauricio researches AI policy at RAND and Oxford. His work has focused on verification of international agreements on AI. He’s more broadly interested in technical AI governance. Previously, Mauricio contracted with OpenAI and did a master's in Computer Science at Stanford University.
Anjay researches AI policy at RAND. He is currently focused on verification of international agreements on AI with previous focuses on AI security and emergency response. Previously, he worked at Constellation and Redwood Research and completed a bachelors in Computer Science at Vanderbilt University.
Fellows we are looking for
Strong analytical and writing skills, research pragmatism and judgment, fast learner, proactive, and AI landscape context.
Project selection
I'll talk through project ideas with scholar