Kevin Ellis
- DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning
2020/06/15 by Kevin Ellis, Catherine Wong, Ellis, Kevin +16 · 7 voices · 21 citations
Computer Science · #AI-based Problem Solving and Planning #Computability, Logic, AI Algorithms #Explainable Artificial Intelligence (XAI) #cs.AI #cs.LG
- Combining Induction and Transduction for Abstract Reasoning
2024/11/04 by Wen-Ding Li, Keya Hu, Li, Wen-Ding +25 · 4 voices · 18 citations
#cs.LG #cs.AI #cs.CL
- WorldCoder, a Model-Based LLM Agent: Building World Models by Writing Code and Interacting with the Environment
2024/02/19 by Hao Tang, Tang, Hao, Darren Key +3 · 20 citations
Computer Science · #Semantic Web and Ontologies #Multi-Agent Systems and Negotiation #Natural Language Processing Techniques
- Learning to Infer Graphics Programs from Hand-Drawn Images
2017/07/30 by Kevin Ellis, Ellis, Kevin, Daniel Ritchie +5 · 6 citations
Computer Science · #Software Engineering Research
- AutumnBench Public Benchmark
2025/10/22 by Archana Warrier, Dat Nguyen, Dat Tien Nguyen +22 · 8 voices · 2 citations
Psychology · Computer Science · Neuroscience · #Social Robot Interaction and HRI #Reinforcement Learning in Robotics #Embodied and Extended Cognition
- Code Repair with LLMs gives an Exploration-Exploitation Tradeoff
2024/05/26 by Hao Tang, Tang, Hao, Keya Hu +11 · 13 citations
Decision Sciences · Computer Science · #Scientific Computing and Data Management #Advanced Data Storage Technologies
- Challenges and Paths Towards AI for Software Engineering
2025/03/28 by Alex Gu, Naman Jain, Gu, Alex +17 · 4 voices · 3 citations
#cs.SE #cs.AI #cs.LG
- Is Programming by Example solved by LLMs?
2024/06/12 by Wen-Ding Li, Li, Wen-Ding, Kevin Ellis +1 · 11 citations
Computer Science · #Advanced Data Storage Technologies #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Software Engineering (cs.SE)
- Write, Execute, Assess: Program Synthesis with a REPL
2019/06/09 by Kevin Ellis, Ellis, Kevin, Maxwell Nye +9 · 4 citations
Computer Science · Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Reinforcement Learning in Robotics #Robot Manipulation and Learning #Software Engineering (cs.SE) #Software Engineering Research
- VisualPredicator: Learning Abstract World Models with Neuro-Symbolic Predicates for Robot Planning
2024/10/30 by Yichao Liang, Liang, Yichao, Nishanth Kumar +12 · 10 citations
Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #Computability, Logic, AI Algorithms #Computer Vision and Pattern Recognition (cs.CV) #Evolutionary Algorithms and Applications #FOS: Computer and information sciences #Machine Learning (cs.LG) #Robotics (cs.RO)
- Active Preference Inference using Language Models and Probabilistic Reasoning
2023/12/19 by Volodymyr Kuleshov, Piriyakulkij, Wasu Top, Kuleshov, Volodymyr +2 · 5 citations
Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Computation and Language (cs.CL) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Machine Learning (cs.LG) #Speech and dialogue systems
- A language of thought for the mental representation of geometric shapes
2022/11/17 by Mathias Sablé-Meyer, Kevin Ellis, Josh Tenenbaum +1 · 1 voice · 3 citations
Engineering · Mathematics · Psychology · #Child and Animal Learning Development #Cognitive and developmental aspects of mathematical skills #Spatial Cognition and Navigation
- Toward Trustworthy Neural Program Synthesis
2022/09/29 by Darren Key, Wen-Ding Li, Key, Darren +3 · 3 citations
Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research
- Program Synthesis with Pragmatic Communication
2020/07/09 by Yewen Pu, Pu, Yewen, Kevin Ellis +7 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #D.3.0 #FOS: Computer and information sciences #I.2.2 #Logic, programming, and type systems #Machine Learning and Algorithms #Software Engineering (cs.SE) #Software Engineering Research
- Rapid Motor Adaptation for Robotic Manipulator Arms
2023/12/07 by Yichao Liang, Liang, Yichao, Kevin Ellis +3 · 3 citations
Engineering · Computer Science · Psychology · #Robot Manipulation and Learning #Human Pose and Action Recognition #Action Observation and Synchronization
- Scaling Neural Program Synthesis with Distribution-based Search
2021/10/24 by Nathanaël Fijalkow, Fijalkow, Nathanaël, Guillaume Lagarde +9 · 2 citations
Computer Science · #Machine Learning and Algorithms #Adversarial Robustness in Machine Learning #Machine Learning and Data Classification
- LLM-Guided Probabilistic Program Induction for POMDP Model Estimation
2025/05/04 by Aidan Curtis, Hao Tang, Curtis, Aidan +11 · 2 citations
Computer Science · Engineering · #Reinforcement Learning in Robotics #Bayesian Modeling and Causal Inference #Autonomous Vehicle Technology and Safety
- Refactoring Codebases through Library Design
2025/05/26 by Ziga Kovacic, Kovacic, Ziga, Justin T. Chiu +7 · 1 voice · 1 citation
Computer Science · #Algorithms and Data Compression #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research #Web Data Mining and Analysis #cs.AI #cs.SE