Ellis, Kevin

DreamCoder: growing generalizable, interpretable knowledge with wake–sleep Bayesian program learning

Ellis, K., Wong, L., Nye, M., Sablé-Meyer, M., Cary, L., Anaya Pozo, L., Hewitt, L., Solar-Lezama, A., & Tenenbaum, J. B. (2023) · Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences

Evolutionary Algorithms and ApplicationsAI-based Problem Solving and Planning

Cited by 125

DreamCoder: bootstrapping inductive program synthesis with wake-sleep library learning

Ellis, K., Wong, C., Nye, M., Sablé-Meyer, M., Morales, L., Hewitt, L., Cary, L., Solar-Lezama, A., & Tenenbaum, J. B. (2021) · Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation

Evolutionary Algorithms and ApplicationsAI-based Problem Solving and Planning

Cited by 103

Write, Execute, Assess: Program Synthesis with a REPL

Ellis, K., Nye, M., Pu, Y., Sosa, F., Tenenbaum, J., & Solar-Lezama, A. (2019) · arXiv

Evolutionary Algorithms and ApplicationsTeaching and Learning Programming

Cited by 65

Top-Down Synthesis for Library Learning

Bowers, M., Olausson, T. X., Wong, L., Grand, G., Tenenbaum, J. B., Ellis, K., & Solar-Lezama, A. (2023) · Proceedings of the ACM on Programming Languages

Logic, programming, and type systemsEvolutionary Algorithms and Applications

Cited by 33

WorldCoder, a Model-Based LLM Agent: Building World Models by Writing Code and Interacting with the Environment

Tang, H., Key, D., & Ellis, K. (2024) · Advances in Neural Information Processing Systems 37

AI-based Problem Solving and PlanningReinforcement Learning in Robotics

Cited by 20

Code Repair with LLMs gives an Exploration-Exploitation Tradeoff

Tang, H., Hu, K., Zhou, J. P., Zhong, S., Zheng, W.-L., Si, X., & Ellis, K. (2024) · arXiv

Software Engineering ResearchSoftware Testing and Debugging Techniques

Cited by 11

WorldCoder, a Model-Based LLM Agent: Building World Models by Writing Code and Interacting with the Environment

Tang, H., Key, D., & Ellis, K. (2024) · arXiv

AI-based Problem Solving and PlanningReinforcement Learning in Robotics

Cited by 9

Twin: Playing an Unknown Game with a Test-Time Digital Twin

Skoutnev, A., Acharya, K., Longhitano, G., Udell, M., Ellis, K., & Drori, I. (2026) · arXiv

Artificial Intelligence in GamesAI-based Problem Solving and Planning

Cited by 0

PoE-World: Compositional World Modeling with Products of Programmatic Experts

Piriyakulkij, W. T., Liang, Y., Tang, H., Weller, A., Kryven, M., & Ellis, K. (2025) · arXiv

Reinforcement Learning in RoboticsAI-based Problem Solving and Planning

Cited by 0