Cyrus Zhou
PhD Student in Computer Science, Stanford University
About
I am a Computer Science PhD student at Stanford University, advised by the amazing Prof. Monica S. Lam. I am affiliated with the Stanford Open Virtual Assistant Lab and the Stanford NLP Group. My research combines formal methods with large language models to tackle domains with complex structure, such as healthcare and biomedicine. I build end-to-end systems that are deployed in real-world settings, with a focus on reliability and precision. Ultimately, I hope this line of work improves the logical and scientific reasoning capabilities of foundation models. Previously, I received my undergraduate degree from the University of Chicago.
Selected Publications
- Trustworthy LLM-Based Clinical Trial Matching with Satisfiability Modulo Theories Under Review
- Scalable High-Recall Constraint-Satisfaction-Based Information Retrieval for Clinical Trials Matching Preprint, 2026
- LowRA: Accurate and Efficient LoRA Fine-Tuning of LLMs under 2 Bits ICML, 2025
- If At First You Don't Succeed, Try, Try, Again...? Insights and LLM-informed Tooling for Detecting Retry Bugs in Software Systems SOSP, 2024
- Helping Users Debug Trigger-Action Programs UbiComp, 2023
Awards
- Stanford School of Engineering Fellowship (Enlight Foundation), 2024
- CRA Outstanding Undergraduate Researcher Award, Honorable Mention, 2024
- John Locke Institute Essay Competition, Psychology Prize Winner, 2019