The Random Conditional Distribution for Higher-Order Probabilistic Inference Z Tavares, X Zhang, E Minaysan, J Burroni, R Ranganath, AS Lezama arXiv preprint arXiv:1903.10556, 2019 | 2 | 2019 |

A language for counterfactual generative models Z Tavares, J Koppel, X Zhang, A Solar-Lezama | 2 | 2018 |

Synthesizing Programmatic Policies that Inductively Generalize JP Inala, O Bastani, Z Tavares, A Solar-Lezama International Conference on Learning Representations, 2019 | 1 | 2019 |

Predicate exchange: Inference with declarative knowledge Z Tavares, J Burroni, E Minasyan, A Solar-Lezama, R Ranganath International Conference on Machine Learning, 6186-6195, 2019 | 1 | 2019 |

Soft Constraints for Inference with Declarative Knowledge Z Tavares, J Burroni, E Minaysan, AS Lezama, R Ranganath arXiv preprint arXiv:1901.05437, 2019 | 1 | 2019 |

Mental Representations as Distribution-Sensitive Data Structures Z Tavares, AS Lezama 2017 AAAI Spring Symposium Series, 2017 | | 2017 |

Learning Approximate Distribution-Sensitive Data Structures Z Tavares, A Solar-Lezama | | 2016 |

Smooth Nondeterministic Arrows Z Tavares, AS Lezama | | |

Parametric Inverse Simulation Z Tavares, AS Lezama | | |