Kevin Ellis

74 papers A* 22A 1B 2Misc 1Journal 42Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Bongards at the Boundary of Perception and Reasoning: Programs or Language?
CoRR
Cassidy Langenfeld, Claas Beger, Gloria Geng, Wasu Top Piriyakulkij, Keya Hu, Yewen Pu, Kevin Ellis
2026 J jnl
Joint Learning of Hierarchical Neural Options and Abstract World Model.
CoRR
Wasu Top Piriyakulkij, Wolfgang Lehrach, Kevin Ellis, Kevin Murphy
2026 J jnl
OmniCode: A Benchmark for Evaluating Software Engineering Agents.
CoRR
Atharv Sonwane, Eng-Shen Tu, Wei-Chung Lu, Claas Beger, Carter Larsen, Debjit Dhar, Simon Alford, Rachel Chen, Ronit Pattanayak, Tuan Anh Dang, Guohao Chen, Gloria Geng, Kevin Ellis, Saikat Dutta
2025 J jnl
A Neuroscience-Inspired Dual-Process Model of Compositional Generalization.
CoRR
Alex Noviello, Claas Beger, Jacob Groner, Kevin Ellis, Weinan Sun
2025 J jnl
Benchmarking World-Model Learning.
CoRR
Archana Warrier, Dat Nguyen, Michelangelo Naim, Moksh Jain, Yichao Liang, Karen Schroeder, Cambridge Yang, Joshua B. Tenenbaum, Sebastian J. Vollmer, Kevin Ellis, Zenna Tavares
2025 J jnl
Challenges and Paths Towards AI for Software Engineering.
CoRR
Alex Gu, Naman Jain, Wen-Ding Li, Manish Shetty, Yijia Shao, Ziyang Li, Diyi Yang, Kevin Ellis, Koushik Sen, Armando Solar-Lezama
2025 J jnl
Cognitive maps are generative programs.
CoRR
Marta Kryven, Cole Wyeth, Aidan Curtis, Kevin Ellis
2025 A* conf
Combining Induction and Transduction for Abstract Reasoning.
ICLR
Wen-Ding Li, Keya Hu, Carter Larsen, Yuqing Wu, Simon Alford, Caleb Woo, Spencer M. Dunn, Hao Tang, Wei-Long Zheng, Yewen Pu, Kevin Ellis
2025 J jnl
ExoPredicator: Learning Abstract Models of Dynamic Worlds for Robot Planning.
CoRR
Yichao Liang, Dat Nguyen, Cambridge Yang, Tianyang Li, Joshua B. Tenenbaum, Carl Edward Rasmussen, Adrian Weller, Zenna Tavares, Tom Silver, Kevin Ellis
2025 J jnl
LLM-Guided Probabilistic Program Induction for POMDP Model Estimation.
CoRR
Aidan Curtis, Hao Tang, Thiago Veloso, Kevin Ellis, Joshua B. Tenenbaum, Tomás Lozano-Pérez, Leslie Pack Kaelbling
2025 J jnl
PoE-World: Compositional World Modeling with Products of Programmatic Experts.
CoRR
Wasu Top Piriyakulkij, Yichao Liang, Hao Tang, Adrian Weller, Marta Kryven, Kevin Ellis
2025 — conf
Position: Future Research and Challenges Remain Towards AI for Software Engineering.
ICML (Position Papers)
Alex Gu, Naman Jain, Wen-Ding Li, Manish Shetty, Kevin Ellis, Koushik Sen, Armando Solar-Lezama
2025 J jnl
Programmatic Video Prediction Using Large Language Models.
CoRR
Hao Tang, Kevin Ellis, Suhas Lohit, Michael J. Jones, Moitreya Chatterjee
2025 J jnl
Refactoring Codebases through Library Design.
CoRR
Ziga Kovacic, Celine Lee, Justin T. Chiu, Wenting Zhao, Kevin Ellis
2025 A* conf
VisualPredicator: Learning Abstract World Models with Neuro-Symbolic Predicates for Robot Planning.
ICLR
Yichao Liang, Nishanth Kumar, Hao Tang, Adrian Weller, Joshua B. Tenenbaum, Tom Silver, João F. Henriques, Kevin Ellis
2024 A* conf
Code Repair with LLMs gives an Exploration-Exploitation Tradeoff.
NeurIPS
Hao Tang, Keya Hu, Jin Zhou, Sicheng Zhong, Wei-Long Zheng, Xujie Si, Kevin Ellis
2024 J jnl
Code Repair with LLMs gives an Exploration-Exploitation Tradeoff.
CoRR
Hao Tang, Keya Hu, Jin Peng Zhou, Sicheng Zhong, Wei-Long Zheng, Xujie Si, Kevin Ellis
2024 J jnl
Combining Induction and Transduction for Abstract Reasoning.
CoRR
Wen-Ding Li, Keya Hu, Carter Larsen, Yuqing Wu, Simon Alford, Caleb Woo, Spencer M. Dunn, Hao Tang, Michelangelo Naim, Dat Nguyen, Wei-Long Zheng, Zenna Tavares, Yewen Pu, Kevin Ellis
2024 J jnl
Discovering quantum circuit components with program synthesis.
Mach. Learn. Sci. Technol.
Leopoldo Sarra, Kevin Ellis, Florian Marquardt
2024 B conf
Doing Experiments and Revising Rules with Natural Language and Probabilistic Reasoning.
CogSci
Top Piriyakulkij, Kevin Ellis
2024 A* conf
Doing Experiments and Revising Rules with Natural Language and Probabilistic Reasoning.
NeurIPS
Top Piriyakulkij, Cassidy Langenfeld, Tuan Anh Le, Kevin Ellis
2024 J jnl
Doing Experiments and Revising Rules with Natural Language and Probabilistic Reasoning.
CoRR
Top Piriyakulkij, Kevin Ellis
2024 A* conf
Is Programming by Example Solved by LLMs?
NeurIPS
Wen-Ding Li, Kevin Ellis
2024 J jnl
Is Programming by Example solved by LLMs?
CoRR
Wen-Ding Li, Kevin Ellis
2024 A* conf
Rapid Motor Adaptation for Robotic Manipulator Arms.
CVPR
Yichao Liang, Kevin Ellis, João F. Henriques
2024 J jnl
VisualPredicator: Learning Abstract World Models with Neuro-Symbolic Predicates for Robot Planning.
CoRR
Yichao Liang, Nishanth Kumar, Hao Tang, Adrian Weller, Joshua B. Tenenbaum, Tom Silver, João F. Henriques, Kevin Ellis
2024 A* conf
WorldCoder, a Model-Based LLM Agent: Building World Models by Writing Code and Interacting with the Environment.
NeurIPS
Hao Tang, Darren Key, Kevin Ellis
2024 J jnl
WorldCoder, a Model-Based LLM Agent: Building World Models by Writing Code and Interacting with the Environment.
CoRR
Hao Tang, Darren Key, Kevin Ellis
2023 J jnl
Active Preference Inference using Language Models and Probabilistic Reasoning.
CoRR
Top Piriyakulkij, Volodymyr Kuleshov, Kevin Ellis
2023 A* conf
From Perception to Programs: Regularize, Overparameterize, and Amortize.
ICML
Hao Tang, Kevin Ellis
2023 A* conf
Human-like Few-Shot Learning via Bayesian Reasoning over Natural Language.
NeurIPS
Kevin Ellis
2023 A* conf
LambdaBeam: Neural Program Search with Higher-Order Functions and Lambdas.
NeurIPS
Kensen Shi, Hanjun Dai, Wen-Ding Li, Kevin Ellis, Charles Sutton
2023 J jnl
LambdaBeam: Neural Program Search with Higher-Order Functions and Lambdas.
CoRR
Kensen Shi, Hanjun Dai, Wen-Ding Li, Kevin Ellis, Charles Sutton
2023 J jnl
Modeling Human-like Concept Learning with Bayesian Inference over Natural Language.
CoRR
Kevin Ellis
2023 J jnl
Rapid Motor Adaptation for Robotic Manipulator Arms.
CoRR
Yichao Liang, Kevin Ellis, João F. Henriques
2023 J jnl
Top-Down Synthesis for Library Learning.
Proc. ACM Program. Lang.
Matthew Bowers, Theo X. Olausson, Lionel Wong, Gabriel Grand, Joshua B. Tenenbaum, Kevin Ellis, Armando Solar-Lezama
2022 A* conf
CrossBeam: Learning to Search in Bottom-Up Program Synthesis.
ICLR
Kensen Shi, Hanjun Dai, Kevin Ellis, Charles Sutton
2022 J jnl
CrossBeam: Learning to Search in Bottom-Up Program Synthesis.
CoRR
Kensen Shi, Hanjun Dai, Kevin Ellis, Charles Sutton
2022 J jnl
DeepSynth: Scaling Neural Program Synthesis with Distribution-based Search.
J. Open Source Softw.
Théo Matricon, Nathanaël Fijalkow, Guillaume Lagarde, Kevin Ellis
2022 J jnl
Efficient Pragmatic Program Synthesis with Informative Specifications.
CoRR
Saujas Vaduguru, Kevin Ellis, Yewen Pu
2022 J jnl
From Perception to Programs: Regularize, Overparameterize, and Amortize.
CoRR
Hao Tang, Kevin Ellis
2022 — conf
From perception to programs: regularize, overparameterize, and amortize.
MAPS@PLDI
Hao Tang, Kevin Ellis
2022 A* conf
Hybrid Memoised Wake-Sleep: Approximate Inference at the Discrete-Continuous Interface.
ICLR
Tuan Anh Le, Katherine M. Collins, Luke Hewitt, Kevin Ellis, Siddharth Narayanaswamy, Samuel Gershman, Joshua B. Tenenbaum
2022 J jnl
I Speak, You Verify: Toward Trustworthy Neural Program Synthesis.
CoRR
Darren Key, Wen-Ding Li, Kevin Ellis
2022 A* conf
Making Sense of Raw Input (Extended Abstract).
IJCAI
Richard Evans, Matko Bosnjak, Lars Buesing, Kevin Ellis, David Pfau, Pushmeet Kohli, Marek J. Sergot
2022 A* conf
Scaling Neural Program Synthesis with Distribution-Based Search.
AAAI
Nathanaël Fijalkow, Guillaume Lagarde, Théo Matricon, Kevin Ellis, Pierre Ohlmann, Akarsh Nayan Potta
2022 J jnl
Top-Down Synthesis for Library Learning.
CoRR
Matthew Bowers, Theo X. Olausson, Catherine Wong, Gabriel Grand, Joshua B. Tenenbaum, Kevin Ellis, Armando Solar-Lezama
2021 A* conf
DreamCoder: bootstrapping inductive program synthesis with wake-sleep library learning.
PLDI
Kevin Ellis, Catherine Wong, Maxwell I. Nye, Mathias Sablé-Meyer, Lucas Morales, Luke B. Hewitt, Luc Cary, Armando Solar-Lezama, Joshua B. Tenenbaum
2021 J jnl
Hybrid Memoised Wake-Sleep: Approximate Inference at the Discrete-Continuous Interface.
CoRR
Tuan Anh Le, Katherine M. Collins, Luke Hewitt, Kevin Ellis, N. Siddharth, Samuel J. Gershman, Joshua B. Tenenbaum
2021 A* conf
Leveraging Language to Learn Program Abstractions and Search Heuristics.
ICML
Catherine Wong, Kevin Ellis, Joshua B. Tenenbaum, Jacob Andreas
2021 J jnl
Leveraging Language to Learn Program Abstractions and Search Heuristics.
CoRR
Catherine Wong, Kevin Ellis, Joshua B. Tenenbaum, Jacob Andreas
2021 J jnl
Making sense of raw input.
Artif. Intell.
Richard Evans, Matko Bosnjak, Lars Buesing, Kevin Ellis, David P. Reichert, Pushmeet Kohli, Marek J. Sergot
2021 J jnl
Neurosymbolic Programming.
Found. Trends Program. Lang.
Swarat Chaudhuri, Kevin Ellis, Oleksandr Polozov, Rishabh Singh, Armando Solar-Lezama, Yisong Yue
2021 J jnl
Scaling Neural Program Synthesis with Distribution-based Search.
CoRR
Nathanaël Fijalkow, Guillaume Lagarde, Théo Matricon, Kevin Ellis, Pierre Ohlmann, Akarsh Potta
2020 J jnl
DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning.
CoRR
Kevin Ellis, Catherine Wong, Maxwell I. Nye, Mathias Sablé-Meyer, Luc Cary, Lucas Morales, Luke B. Hewitt, Armando Solar-Lezama, Joshua B. Tenenbaum
2020 J jnl
Five Ways in Which Computational Modeling Can Help Advance Cognitive Science: Lessons From Artificial Grammar Learning.
Top. Cogn. Sci.
Willem H. Zuidema, Robert M. French, Raquel G. Alhama, Kevin Ellis, Timothy J. O'Donnell, Tim Sainburg, Timothy Gentner
2020 A* conf
Learning abstract structure for drawing by efficient motor program induction.
NeurIPS
Lucas Yanan Tian, Kevin Ellis, Marta Kryven, Josh Tenenbaum
2020 J jnl
Learning abstract structure for drawing by efficient motor program induction.
CoRR
Lucas Yanan Tian, Kevin Ellis, Marta Kryven, Joshua B. Tenenbaum
2020 A* conf
Program Synthesis with Pragmatic Communication.
NeurIPS
Yewen Pu, Kevin Ellis, Marta Kryven, Josh Tenenbaum, Armando Solar-Lezama
2020 J jnl
Program Synthesis with Pragmatic Communication.
CoRR
Yewen Pu, Kevin Ellis, Marta Kryven, Josh Tenenbaum, Armando Solar-Lezama
2019 — conf
Learning to Infer and Execute 3D Shape Programs.
ICLR (Poster)
Yonglong Tian, Andrew Luo, Xingyuan Sun, Kevin Ellis, William T. Freeman, Joshua B. Tenenbaum, Jiajun Wu
2019 J jnl
Learning to Infer and Execute 3D Shape Programs.
CoRR
Yonglong Tian, Andrew Luo, Xingyuan Sun, Kevin Ellis, William T. Freeman, Joshua B. Tenenbaum, Jiajun Wu
2019 B conf
Modeling Expertise with Neurally-Guided Bayesian Program Induction.
CogSci
Catherine Wong, Kevin Ellis, Mathias Sablé-Meyer, Josh Tenenbaum
2019 Misc conf
Parking Lot Occupancy Tracking Through Image Processing.
CATA
Marcos Lopez, Terry Griffin, Kevin Ellis, Anthony Enem, Christopher Duhan
2019 A* conf
Write, Execute, Assess: Program Synthesis with a REPL.
NeurIPS
Kevin Ellis, Maxwell I. Nye, Yewen Pu, Felix Sosa, Josh Tenenbaum, Armando Solar-Lezama
2019 J jnl
Write, Execute, Assess: Program Synthesis with a REPL.
CoRR
Kevin Ellis, Maxwell I. Nye, Yewen Pu, Felix Sosa, Josh Tenenbaum, Armando Solar-Lezama
2018 A* conf
Learning Libraries of Subroutines for Neurally-Guided Bayesian Program Induction.
NeurIPS
Kevin Ellis, Lucas Morales, Mathias Sablé-Meyer, Armando Solar-Lezama, Josh Tenenbaum
2018 A* conf
Learning to Infer Graphics Programs from Hand-Drawn Images.
NeurIPS
Kevin Ellis, Daniel Ritchie, Armando Solar-Lezama, Josh Tenenbaum
2017 J jnl
Learning to Infer Graphics Programs from Hand-Drawn Images.
CoRR
Kevin Ellis, Daniel Ritchie, Armando Solar-Lezama, Joshua B. Tenenbaum
2017 A* conf
Learning to Learn Programs from Examples: Going Beyond Program Structure.
IJCAI
Kevin Ellis, Sumit Gulwani
2016 — conf
Sampling for Bayesian Program Learning.
NIPS
Kevin Ellis, Armando Solar-Lezama, Josh Tenenbaum
2015 — conf
Dimensionality Reduction via Program Induction.
AAAI Spring Symposia
Kevin Ellis, Eyal Dechter, Joshua B. Tenenbaum
2015 — conf
Unsupervised Learning by Program Synthesis.
NIPS
Kevin Ellis, Armando Solar-Lezama, Joshua B. Tenenbaum
2014 A conf
Bias reformulation for one-shot function induction.
ECAI
Dianhuan Lin, Eyal Dechter, Kevin Ellis, Joshua B. Tenenbaum, Stephen H. Muggleton