Follow
Zenna Tavares
Zenna Tavares
Columbia University & Basis Research Institute
Verified email at columbia.edu - Homepage
Title
Cited by
Cited by
Year
Synthesizing programmatic policies that inductively generalize
JP Inala, O Bastani, Z Tavares, A Solar-Lezama
International Conference on Learning Representations, 2019
402019
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
122021
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
7*2019
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
72019
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
42023
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
12021
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 preprint arXiv:2401.06005, 2024
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
2021
Causal Inductive Synthesis Corpus
Z Tavares, R Das, E Weeks, K Lin, JB Tenenbaum, A Solar-Lezama
NeurIPS 2020 Workshop on Computer-Assisted Programming, 2020
2020
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
Smooth Nondeterministic Arrows
Z Tavares, AS Lezama
Parametric Inverse Simulation
Z Tavares, AS Lezama
The system can't perform the operation now. Try again later.
Articles 1–14