Kensen Shi
10 papers · 2020–2024 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
🌍 Conference Polyglot (5) 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🌉 Interdisciplinary Bridge 🐝 Cross-Pollinator (11)
🐝
Cross-Pollinator
(11)
🌈
Renaissance Researcher
(7)
👥
Mega-Team
(67)
💎
Century Club
(10)
❓
The Questioner
🔥
Unstoppable
(5)
Conferences
ICML (4)
ICLR (3)
ACL (1)
JMLR (1)
NIPS (1)
Top co-authors
Keywords
program synthesis
(2)
code understanding
(2)
large language model
(2)
bert model
(1)
source code
(1)
static analysis
(1)
program analysis
(1)
natural language
(1)
sequential sampling
(1)
randomized algorithm
(1)
semantic embedding
(1)
contextual embedding
(1)
few-shot prompting
(1)
sampling without replacement
(1)
code language model
(1)
multi-step reasoning
(1)
incremental sampling
(1)
generative neural model
(1)
semantic vector representation
(1)
program invariant
(1)
Papers
NExT: Teaching Large Language Models to Reason about Code Execution
ICML 2024
ExeDec: Execution Decomposition for Compositional Generalization in Neural Program Synthesis
ICLR 2024
LambdaBeam: Neural Program Search with Higher-Order Functions and Lambdas
NIPS 2023
Natural Language to Code Generation in Interactive Data Science Notebooks
ACL 2023
Can Large Language Models Reason about Program Invariants?
ICML 2023
PaLM: Scaling Language Modeling with Pathways
JMLR 2023
CrossBeam: Learning to Search in Bottom-Up Program Synthesis
ICLR 2022
BUSTLE: Bottom-Up Program Synthesis Through Learning-Guided Exploration
ICLR 2021
Incremental Sampling Without Replacement for Sequence Models
ICML 2020
Learning and Evaluating Contextual Embedding of Source Code
ICML 2020