Kexin Pei

Identifiers

No identifiers captured yet.

Papers (7)

1. SynthFix: Adaptive Neuro-Symbolic Code Vulnerability Repair cs.SE · 2026 · author #3
2. SWE-bench: Can Language Models Resolve Real-World GitHub Issues? cs.CL · 2023 · author #5
3. Efficient Formal Safety Analysis of Neural Networks cs.LG · 2018 · author #2
4. NEUZZ: Efficient Fuzzing with Neural Program Smoothing cs.CR · 2018 · author #2
5. Formal Security Analysis of Neural Networks using Symbolic Intervals cs.AI · 2018 · author #2
6. DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars cs.SE · 2017 · author #2
7. DeepXplore: Automated Whitebox Testing of Deep Learning Systems cs.LG · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Suman Jana 5 shared papers
• Junfeng Yang 4 shared papers
• Baishakhi Ray 2 shared papers
• Justin Whitehouse 2 shared papers
• Shiqi Wang 2 shared papers
• Alexander Wettig 1 shared papers
• Carlos E. Jimenez 1 shared papers
• Dave Epstein 1 shared papers
• Dongdong She 1 shared papers
• Jieyu Li 1 shared papers
• John Yang 1 shared papers
• Karthik Narasimhan 1 shared papers
• Kevin Leach 1 shared papers
• Ofir Press 1 shared papers
• Shunyu Yao 1 shared papers
• Yifan Zhang 1 shared papers
• Yinzhi Cao 1 shared papers
• Yuchi Tian 1 shared papers
• Yu Huang 1 shared papers