Cyrus Zhou

Cyrus Zikai Zhou 周子恺 (zih-KAI joe)

Accountable AI · PhD Student, Stanford Computer Science

About

I build accountable AI systems whose decisions can be verified, challenged, and changed. Most recently, I led the Stanford OVAL Clinical Trial Matcher — an open-source system that matches patients to trials with accountable decisions. I am a Computer Science PhD student (2024–) at Stanford University, affiliated with the Stanford NLP Group. Previously, I received my undergraduate degree from the University of Chicago (2020–2024).

I'm actively looking for collaborators and research assistants to work on accountable/faithful AI and its applications to healthcare. Feel free to reach out if you're interested!

News

Accountable AI

An AI system is accountable when its decisions can be examined, justified, and contested: we can see what decided it, check that its explanation is actually true, and know what would change the outcome. I pursue this along three routes: by construction, where language models translate rules into formal constraints and a solver decides (VERDICT, SatIR); by training, teaching models to report what actually changed their answers (CREDIT); and by measurement, scoring what models say about themselves against what happens when their inputs change.

Read more about what I mean by accountable AI →

Selected Publications

Awards

Services

Teaching

I am currently the head TA for CS224V: Agentic AI at Stanford (Fall 2026). I was also a project mentor for the same course in Fall 2025.

Experience

Early in my PhD, I got startup experience by interning at an AI infrastructure startup (2025) building memory processing technology for AI systems, where I worked on next-generation AI chip pathfinding and LLM inference cost modeling. Earlier, I worked at Moody's (2022) building data-management tooling, and at Vision Knight Capital (2021) on investment research.