Zenna Tavares
where else to find them
bluesky:zennatavares.bsky.social
what they talk about
where they keep going back
- Strange Loop3 editions2015–2022
on a stage with
- Armando Solar-Lezamaonce
- Joshua B. Tenenbaumonce
- Ria Dasonce
who talks about the same things
- Nada Amin26 talks
- Armando Solar-Lezama18 talks
- Steve Zdancewic19 talks
- Joshua B. Tenenbaum11 talks
- Michael Carbin14 talks
- Yizhou Zhang13 talks
| title | conference | date |
|---|---|---|
| Combining Functional and Automata Synthesis to Discover Causal Reactive Programs | POPL 2023 | 2023-01-15 |
Algorithm converts sequences of video frames plus actions into Autumn programs by iterating functional synthesis (fit per-object update functions from an… | ||
| Blueprints for a Universal Reasoning Machine | Strange Loop 2022 | 2022-09-22 |
Proposes a working blueprint for a proximate “universal reasoning machine” that composes probabilistic inference, program synthesis and causal counterfactuals… | ||
| Running Programs In Reverse for Deeper A.I. | Strange Loop 2017 | 2017-09-28 |
Claims a compiler, ReverseFlow, that uses parametric inversion plus deep learning to turn a program (e.g., a TensorFlow graph or renderer) into an inverse… | ||
| Probabilistic Programs Which Make (Common) Sense | Strange Loop 2015 | 2015-09-24 |
Claims that Sigma lets programs be written as functional probabilistic models that run forward (render a 3D scene) and in reverse (infer the most probable 3D… | ||
| nothing matches | ||