| Synthesizing programmatic policies that inductively generalize JP Inala, O Bastani, Z Tavares, A Solar-Lezama 8th International Conference on Learning Representations, 2020 | 57 | 2020 |
| A language for counterfactual generative models Z Tavares, J Koppel, X Zhang, R Das, A Solar-Lezama International conference on machine learning, 10173-10182, 2021 | 23 | 2021 |
| 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 | 8* | 2019 |
| Combining functional and automata synthesis to discover causal reactive programs R Das, JB Tenenbaum, A Solar-Lezama, Z Tavares Proceedings of the ACM on Programming Languages 7 (POPL), 1628-1658, 2023 | 7 | 2023 |
| 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 | 5 | 2019 |
| How does the primate brain combine generative and discriminative computations in vision? B Peters, JJ DiCarlo, T Gureckis, R Haefner, L Isik, J Tenenbaum, ... ArXiv, 2024 | 4 | 2024 |
| Autumnsynth: synthesis of reactive programs with structured latent state R Das, JB Tenenbaum, A Solar-Lezama, Z Tavares Advances in Programming Languages and Neurosymbolic Systems Workshop, 2021 | 3 | 2021 |
| Combining induction and transduction for abstract reasoning WD Li, K Hu, C Larsen, Y Wu, S Alford, C Woo, SM Dunn, H Tang, M Naim, ... arXiv preprint arXiv:2411.02272, 2024 | 1 | 2024 |
| MetaCOG: Learning a Metacognition to Recover What Objects Are Actually There M Berke, Z Azerbayev, M Belledonne, Z Tavares, J Jara-Ettinger arXiv preprint arXiv:2110.03105, 2021 | 1 | 2021 |
| NeuroAI for AI Safety P Mineault, N Zanichelli, JZ Peng, A Arkhipov, E Bingham, J Jara-Ettinger, ... arXiv preprint arXiv:2411.18526, 2024 | | 2024 |
| Imaginative reasoning in probabilistic programs Z Tavares Massachusetts Institute of Technology, 2020 | | 2020 |
| 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 |
| MetaCOG: A Heirarchical Probabilistic Model for Learning Meta-Cognitive Visual Representations M Berke, Z Azerbayev, M Belledonne, Z Tavares, J Jara-Ettinger The 40th Conference on Uncertainty in Artificial Intelligence, 0 | | |
| Causal Inductive Synthesis Corpus Z Tavares, R Das, E Weeks, K Lin, JB Tenenbaum, A Solar-Lezama NeurIPS 2020 Workshop on Computer-Assisted Programming, 0 | | |
| Smooth Nondeterministic Arrows Z Tavares, AS Lezama | | |
| Parametric Inverse Simulation Z Tavares, AS Lezama | | |
