Kexin Pei
5 papers
· 2018–2025
· 3 conferences
· across top CS/AI conferences
Achievements
🐝
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)