Lei Li

Undergrad student, EECS, Peking University

Joined

September 2025

Names

Lei Li (Preferred)

,

LEI LI

Emails

****@stu.pku.edu.cn (Confirmed)

Personal Links

Career & Education History

Undergrad student

EECS, Peking University (stu.pku.edu.cn)

2021 – 2026

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

When "Correct" Is Not Safe: Can We Trust Functionally Correct Patches Generated by Code Agents?
Yibo Peng, James Song, Lei Li, Xinyu Yang, Mihai Christodorescu, Ravi Mangal, Corina S. Pasareanu, Haizhong Zheng, Beidi Chen
- ResponsibleFM @ NeurIPS 2025
- Readers: Everyone

Co-Authors