Zenna Tavares

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 8

Top Topics

Soft Constraints

Conditional Distribution

Mental Representations

Declarative Knowledge

Top Venues

Proc. ACM Program. Lang.

AAAI Spring Symposia

Publications

Benjamin Peters, James J. DiCarlo, Todd M. Gureckis, Ralf Haefner, Leyla Isik, Joshua B. Tenenbaum, Talia Konkle, Thomas Naselaris, Kimberly Stachenfeld, Zenna Tavares, Doris Tsao, Ilker Yildirim, Nikolaus Kriegeskorte
How does the primate brain combine generative and discriminative computations in vision? CoRR (2024)
Ria Das, Joshua B. Tenenbaum, Armando Solar-Lezama, Zenna Tavares
Combining Functional and Automata Synthesis to Discover Causal Reactive Programs. Proc. ACM Program. Lang. 7 (POPL) (2023)
Zenna Tavares, James Koppel, Xin Zhang, Ria Das, Armando Solar-Lezama
A Language for Counterfactual Generative Models. ICML (2021)
Jeevana Priya Inala, Osbert Bastani, Zenna Tavares, Armando Solar-Lezama
Synthesizing Programmatic Policies that Inductively Generalize. ICLR (2020)
Zenna Tavares, Xin Zhang, Edgar Minaysan, Javier Burroni, Rajesh Ranganath, Armando Solar-Lezama
The Random Conditional Distribution for Higher-Order Probabilistic Inference. CoRR (2019)
Zenna Tavares, Javier Burroni, Edgar Minaysan, Armando Solar-Lezama, Rajesh Ranganath
Soft Constraints for Inference with Declarative Knowledge. CoRR (2019)
Zenna Tavares, Javier Burroni, Edgar Minasyan, Armando Solar-Lezama, Rajesh Ranganath
Predicate Exchange: Inference with Declarative Knowledge. ICML (2019)
Zenna Tavares, Armando Solar-Lezama
Mental Representations as Distribution-Sensitive Data Structures. AAAI Spring Symposia (2017)