Pei, Kexin

8 publications

ICLRW 2025 ABSINT-AI: Language Models for Abstract Interpretation Michael Wang, Kexin Pei, Armando Solar-Lezama

ICML 2025 EditLord: Learning Code Transformation Rules for Code Editing Weichen Li, Albert Jan, Baishakhi Ray, Junfeng Yang, Chengzhi Mao, Kexin Pei

NeurIPS 2025 WEDGE: Synthesizing Performance Constraints for Evaluating and Improving Code Efficiency Jun Yang, Cheng-Chi Wang, Bogdan Alexandru Stoica, Kexin Pei

ICML 2024 Exploiting Code Symmetries for Learning Program Semantics Kexin Pei, Weichen Li, Qirui Jin, Shuyang Liu, Scott Geng, Lorenzo Cavallaro, Junfeng Yang, Suman Jana

ICLR 2024 SWE-Bench: Can Language Models Resolve Real-World GitHub Issues? Carlos E Jimenez, John Yang, Alexander Wettig, Shunyu Yao, Kexin Pei, Ofir Press, Karthik R Narasimhan

ICML 2023 Can Large Language Models Reason About Program Invariants? Kexin Pei, David Bieber, Kensen Shi, Charles Sutton, Pengcheng Yin

NeurIPSW 2023 Language Agents as Hackers: Evaluating Cybersecurity Skills with Capture the Flag John Yang, Akshara Prabhakar, Shunyu Yao, Kexin Pei, Karthik R Narasimhan

NeurIPS 2018 Efficient Formal Safety Analysis of Neural Networks Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana