Kevin Ellis

I am a cognitive science grad student at MIT. Here is my CV. You can contact me at [Last name][first letter of first name]@mit.edu

Research Interests

I work on program induction: the problem of building AI systems that learn programs from data. This involves tools from machine learning, as well as techniques from the programming languages community, like program synthesis. More broadly I am interested in building more human-like machine learning systems. I work in the Computational Cognitive Science Lab and in the Computer Aided Programming group, and am coadvised by Joshua Tenenbaum and Armando Solar-Lezama.

Papers

Kevin Ellis, Sumit Gulwani. Learning to Learn Programs from Examples: Going Beyond Program Structure. IJCAI 2017. Download paper.

Kevin Ellis, Armando Solar-Lezama, Joshua B. Tenenbaum: Sampling for Bayesian Program Learning. NIPS 2016. Download paper. Download supplement. Download code.

Kevin Ellis, Owen Lewis. Metareasoning in Symbolic Domains. NIPS 2015 Workshop on Bounded Optimality and Rational Metareasoning. Download paper.

Kevin Ellis, Armando Solar-Lezama, Joshua B. Tenenbaum: Unsupervised Learning by Program Synthesis. NIPS 2015. Download paper. Download supplement. Download poster. Download code.

Kevin Ellis, Eyal Dechter, Joshua B. Tenenbaum: Dimensionality Reduction via Program Induction. AAAI Symposium on Knowledge Representation and Reasoning: Integrating Symbolic and Neural Approaches. 2015: 48-52. Download paper.

Dianhuan Lin, Eyal Dechter, Kevin Ellis, Joshua B. Tenenbaum, Stephen Muggleton: Bias reformulation for one-shot function induction. ECAI 2014: 525-530. Download paper.

Kevin Ellis, Eyal Dechter, Ryan Adams, and Joshua Tenenbaum. Learning Graphical Concepts. 2013. NIPS workshop on Constructive Machine Learning. Download paper. Download slides. Download poster.

Kevin Ellis. Call by Effect. International Symposia on Application and Implementation of Functional Languages. 2009. 279-289 Download paper. Download slides.

Old Fun Projects

Program induction for dimensionality reduction: Download paper. Download poster.

Probabilistic Logic Programming: Download paper. Download code.

What are magnetic monopoles, anyway? Magnetic Monopoles: Quantization and Quasiparticles. Download paper.

"Society of Mind" project: Learning to build towers in blocks world. Download paper.