Kensen Shi
10 papers · 2020–2024 · 5 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 ↓+5 more ↓ Show less ↑
π Interdisciplinary Bridge Β· Gold π Conference Polyglot Β· Silver πΊοΈ Taxonomy Completionist (25) π₯ Mega-Team Β· Legion π§ Keyword Pioneer
π
Renaissance Researcher
(5)
π₯
Unstoppable Β· Bronze
β
The Questioner
π
Century Club Β· Bronze
π
Trend Setter
Venues
Top co-authors
Research topics
Artificial Intelligence
(8)
Core AI
(7)
Deep Learning
(4)
Natural Language Processing
(4)
Computer Science
(3)
Machine Learning
(3)
Learning Types Β· Deep Learning
(3)
Resources & Methods
(3)
Foundations
(2)
Generation
(2)
Learning Types Β· Machine Learning
(2)
Knowledge & Reasoning
(1)
Mathematics & Optimization
(1)
Applications
(1)
Core Methods
(1)
Keywords
program synthesis
(5)
large language model
(3)
bottom-up search
(2)
few-shot learning
(2)
code understanding
(2)
randomized algorithm
(1)
bert model
(1)
structured prediction
(1)
program analysis
(1)
static analysis
(1)
natural language
(1)
sequential sampling
(1)
code generation
(1)
semantic embedding
(1)
execution trace
(1)
source code
(1)
program repair
(1)
logic programming
(1)
input-output example
(1)
programming by example
(1)
Papers
ExeDec: Execution Decomposition for Compositional Generalization in Neural Program Synthesis
ICLR 2024
NExT: Teaching Large Language Models to Reason about Code Execution
ICML 2024
Can Large Language Models Reason about Program Invariants?
ICML 2023
LambdaBeam: Neural Program Search with Higher-Order Functions and Lambdas
NeurIPS 2023
Natural Language to Code Generation in Interactive Data Science Notebooks
ACL 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