Kexin Pei
6 papers · 2018–2026 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Conference Polyglot Β· Bronze π Academic Marathon Β· Sprint π Interdisciplinary Bridge Β· Gold πΊοΈ Taxonomy Completionist (13) π£ Hot Topic Early Bird
β
The Questioner
(2)
Venues
Top co-authors
Research topics
Keywords
large language model
(2)
adversarial robustness
(1)
few-shot learning
(1)
robustness
(1)
code generation
(1)
evaluation framework
(1)
formal verification
(1)
static analysis
(1)
program analysis
(1)
software engineering
(1)
language model
(1)
cross-modal alignment
(1)
neural network verification
(1)
cycle consistency
(1)
safety property
(1)
multimodal reasoning
(1)
permutation group
(1)
functional correctness
(1)
code understanding
(1)
code editing
(1)
Papers
R-C2: Cycle-Consistent Reinforcement Learning Improves Multimodal Reasoning
CVPR 2026
EditLord: Learning Code Transformation Rules for Code Editing
ICML 2025
Exploiting Code Symmetries for Learning Program Semantics
ICML 2024
SWE-bench: Can Language Models Resolve Real-world Github Issues?
ICLR 2024
Can Large Language Models Reason about Program Invariants?
ICML 2023
Efficient Formal Safety Analysis of Neural Networks
NeurIPS 2018