Zenna Tavares bio photo

Zenna Tavares

I'm a postdoctoral researcher at MIT. I think about how to build computer programs that think as humans think. You can contact me on zenna[at]csail[dot]mit[dot]edu

Email Twitter Github


Under Preparation


  • Synthesizing Programmatic Policies that Inductively Generalize - Jeevana Priya Inala, Osbert Bastani, Zenna Tavares, Armando Solar-Lezama - ICLR 2020 pdf

  • Predicate Exchange: Inference with Declarative Knowledge - Zenna, Tavares, Javier Burroni, Edgar, Minasyan, Armando Solar-Lezama, Rajesh Ranganath - ICML 2019 pdf

  • Adversarial Inversion for Amortized Inference - Zenna Tavares, Edgar Minasyan, Armando Solar-Lezama - ICML 2017, Implicit Models Workshop pdf

  • Smooth Nondeterministic Arrows - Zenna Tavares, Armando Solar-Lezama - NIPS 2015, Black-Box Inference Workshop (Best Paper) pdf

  • Parametric Inverse Simulation - Zenna Tavares, Armando Solar-Lezama - NIPS 2016, Advances in Approximate Bayesian Inference

  • Learning Distribution Sensitive Data Structures - Zenna Tavares, Armando Solar-Lezama - AAAI Spring Symposium 2017

  • Probabilistic Programming by Abstraction Refinement - Zenna Tavares, Armando Solar-Lezama - NIPS 2014, Probabilistic Programming Workshop