Kexin Pei
5 papers · 2018–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
🐝 Cross-Pollinator (15) 🌍 Conference Polyglot (3) 🏃 Academic Marathon (7) 🌈 Renaissance Researcher (5) 🌉 Interdisciplinary Bridge
🧭
Keyword Pioneer
🐣
Hot Topic Early Bird
❓
The Questioner
(2)
Conferences
ICML (3)
ICLR (1)
NIPS (1)
Top co-authors
Keywords
adversarial robustness
(1)
formal verification
(1)
static analysis
(1)
program analysis
(1)
neural network verification
(1)
safety property
(1)
code understanding
(1)
large language model
(1)
formal analysis
(1)
neural network
(1)
safety analysis
(1)
program invariant
(1)
counterexample generation
(1)
Papers
EditLord: Learning Code Transformation Rules for Code Editing
ICML 2025
SWE-bench: Can Language Models Resolve Real-world Github Issues?
ICLR 2024
Exploiting Code Symmetries for Learning Program Semantics
ICML 2024
Can Large Language Models Reason about Program Invariants?
ICML 2023
Efficient Formal Safety Analysis of Neural Networks
NIPS 2018