Ying Li

Undergrad student, Stanford University

Joined

May 2024

Names

Ying Li (Preferred)

Emails

****@stanford.edu (Confirmed)

Personal Links

Career & Education History

Undergrad student

Stanford University (stanford.edu)

2022 – 2026

Advisors, Relations & Conflicts

No relations added

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
BoxingGym: Benchmarking Progress in Automated Experimental Design and Model Discovery
Kanishk Gandhi, Michael Y. Li, Lyle Goodyear, Agam Bhatia, Ying Li, Aditi Bhaskar, Mohammed Zaman, Noah Goodman
- SEA @ 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
From Experiments to Discovery: A Principled Approach to Measuring How Well LLMs Do Science
Kanishk Gandhi, Michael Y. Li, Lyle Goodyear, Agam Bhatia, Ying Li, Aditi Bhaskar, Mohammed Zaman, Noah Goodman
- Submitted to NeurIPS 2025 Datasets and Benchmarks Track
- Readers: Everyone

Co-Authors