OpenReview.net
  • Login

Ying Li

Undergrad student, Stanford University

  • Joined May 2024

Names

Ying Li (Preferred)
  • Suggest Name

Emails

****@stanford.edu (Confirmed)
  • Suggest Email

Personal Links

LinkedIn
  • Suggest URL

Career & Education History

Undergrad student
Stanford University (stanford.edu)
2022 – 2026
 
  • Suggest Position

Advisors, Relations & Conflicts

No relations added

  • Suggest Relation

Expertise

No areas of expertise listed

  • Suggest Expertise

Publications

  • 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

  • Aditi Bhaskar
  • Agam Bhatia
  • Allen Nie
  • Andrea Yu
  • Brando Miranda
  • Dilara Soylu
  • Elyas Obbad
  • Kai Fronsdal
  • Kanishk Gandhi
  • Leni Aniva
  • Lyle Goodyear
  • Michael Y. Li
  • Mohammed Zaman
  • Noah Goodman
  • Sanmi Koyejo
  • Weston Kirk
  • Zhanke Zhou
  • About OpenReview
  • Hosting a Venue
  • All Venues
  • Contact
  • Sponsors
  • Donate
  • Frequently Asked Questions
  • Terms of Use
  • Privacy Policy
  • About OpenReview
  • Hosting a Venue
  • All Venues
  • Sponsors
  • Frequently Asked Questions
  • Contact
  • Donate
  • Terms of Use
  • Privacy Policy

OpenReview is a long-term project to advance science through improved peer review with legal nonprofit status. We gratefully acknowledge the support of the OpenReview Sponsors. © 2025 OpenReview