Andrea Yu

Undergrad student, Computer Science, Stanford University

Joined

May 2025

Names

Andrea Yu (Preferred)

Emails

****@stanford.edu (Confirmed)

Personal Links

Career & Education History

Undergrad student

Computer Science, Stanford University (stanford.edu)

2024 – Present

Advisors, Relations & Conflicts

Coworker

2024 – Present

Expertise

No areas of expertise listed

Publications

VeriBench: End-to-End Formal Verification Benchmark for AI Code Generation in Lean 4
Brando Miranda, Srivatsava Daruru, Zhanke Zhou, Slim Barkallah, Allen Nie, Iddah Mlauzi, Leni Aniva, Elyas Obbad, Weston Kirk, Ying Li, Santiago Cuellar, Dilara Soylu, Kai Fronsdal, John Sarracino, Andrea Yu, Rylan Schaeffer, Rakshit Kaushik, Bo Han, Sanmi Koyejo
- Submitted to ICLR 2026
- Readers: Everyone
Black Box to Bedside: Distilling Reinforcement Learning for Sepsis Time Series
Ella Lan, Andrea Yu, Sergio Charles
- TS4H NeurIPS 2025 Poster
- Readers: Everyone
From Black Box to Bedside: Distilling Reinforcement Learning for Interpretable Sepsis Treatment
Ella Lan, Andrea Yu, Sergio Charles
- CogInterp @ NeurIPS 2025 Poster
- Readers: Everyone
VeriBench: End-to-End Formal Verification Benchmark for AI Code Generation in Lean 4
Brando Miranda, Zhanke Zhou, Allen Nie, Elyas Obbad, Leni Aniva, Kai Fronsdal, Weston Kirk, Dilara Soylu, Andrea Yu, Ying Li, Sanmi Koyejo
- AI4Math@ICML25 Poster
- Readers: Everyone

Co-Authors