I’m a PhD student at MIT co-advised by Armando Solar-Lezama in EECS and Josh Tenenbaum in BCS. My research combines methods from programming languages (PL) research with machine learning to tackle problems in artificial intelligence.

Research Interests

My research interests center on program synthesis, probabilistic programming, and artificial intelligence. I’m particularly interested in neurosymbolic methods that bridge the machine learning and programming languages communities. I believe symbolic methods can augment neural methods to facilitate low-data learning, generalization, transfer learning, interpretability, and other desiderata.

I’m particularly interested in abstraction learning, as in Ellis et al.’s DreamCoder. I led follow up work building a tool called Stitch (paper & code) published at POPL 2023 that achieves a 1,000-10,000x speedup in abstraction learning over DreamCoder. I’m interested in exploring new applications of abstraction learning, and I’m particularly interested in its application to world modelling through probablistic programs.

I previously published as Matthew Bowers.

Google Scholar / CV / Github / Bluesky / Twitter / Email (mlbowers@csail.mit.edu)

Publications