More from the Same Authors

• 2021 : The Multi-Agent Behavior Dataset: Mouse Dyadic Social Interactions »
  Jennifer J Sun · Tomomi Karigo · Dipam Chakraborty · Sharada Mohanty · Benjamin Wild · Quan Sun · Chen Chen · David Anderson · Pietro Perona · Yisong Yue · Ann Kennedy
• 2021 Spotlight: Neural Program Generation Modulo Static Analysis »
  Rohan Mukherjee · Yeming Wen · Dipak Chaudhari · Thomas Reps · Swarat Chaudhuri · Christopher Jermaine
• 2021 Spotlight: Program Synthesis Guided Reinforcement Learning for Partially Observed Environments »
  Yichen Yang · Jeevana Priya Inala · Osbert Bastani · Yewen Pu · Armando Solar-Lezama · Martin Rinard
• 2021 : Safe Neurosymbolic Learning with Differentiable Symbolic Execution »
  Chenxi Yang · Swarat Chaudhuri
• 2021 : AutumnSynth: Synthesis of Reactive Programs with Structured Latent State »
  Ria Das · Zenna Tavares · Josh Tenenbaum · Armando Solar-Lezama
• 2021 : Synthesis of Reactive Programs with Structured Latent State »
  Ria Das · Zenna Tavares · Armando Solar-Lezama · Josh Tenenbaum
• 2022 : Neurosymbolic Programming for Science »
  Jennifer J Sun · Megan Tjandrasuwita · Atharva Sehgal · Armando Solar-Lezama · Swarat Chaudhuri · Yisong Yue · Omar Costilla Reyes
• 2022 : Lemma: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic Abstractions »
  Zhening Li · Gabriel Poesia Reis e Silva · Omar Costilla Reyes · Noah Goodman · Armando Solar-Lezama
• 2022 : Q & A »
  Swarat Chaudhuri · Jennifer J Sun · Armando Solar-Lezama
• 2022 Tutorial: Neurosymbolic Programming »
  Swarat Chaudhuri · Jennifer J Sun · Armando Solar-Lezama
• 2022 : Human Evaluation of Text-to-Image Models on a Multi-Task Benchmark »
  Vitali Petsiuk · Alexander E. Siemenn · Saisamrit Surbehera · Qi Qi Chin · Keith Tyser · Gregory Hunter · Arvind Raghavan · Yann Hicke · Bryan Plummer · Ori Kerret · Tonio Buonassisi · Kate Saenko · Armando Solar-Lezama · Iddo Drori
• 2022 : Deep Neural Imputation: A Framework for Recovering Incomplete Brain Recordings »
  Sabera Talukder · Jennifer J Sun · Matthew Leonard · Bingni Brunton · Yisong Yue
• 2022 Poster: Policy Optimization with Linear Temporal Logic Constraints »
  Cameron Voloshin · Hoang Le · Swarat Chaudhuri · Yisong Yue
• 2021 Poster: Program Synthesis Guided Reinforcement Learning for Partially Observed Environments »
  Yichen Yang · Jeevana Priya Inala · Osbert Bastani · Yewen Pu · Armando Solar-Lezama · Martin Rinard
• 2021 Poster: Neural Program Generation Modulo Static Analysis »
  Rohan Mukherjee · Yeming Wen · Dipak Chaudhari · Thomas Reps · Swarat Chaudhuri · Christopher Jermaine
• 2020 : Invited Talk (Armando Solar-Lezama) »
  Armando Solar-Lezama
• 2020 : Swarat Chaudhuri Talk »
  Swarat Chaudhuri
• 2020 Workshop: Workshop on Computer Assisted Programming (CAP) »
  Augustus Odena · Charles Sutton · Nadia Polikarpova · Josh Tenenbaum · Armando Solar-Lezama · Isil Dillig
• 2020 Poster: Program Synthesis with Pragmatic Communication »
  Yewen Pu · Kevin Ellis · Marta Kryven · Josh Tenenbaum · Armando Solar-Lezama
• 2020 Poster: Learning Compositional Rules via Neural Program Synthesis »
  Maxwell Nye · Armando Solar-Lezama · Josh Tenenbaum · Brenden Lake
• 2020 Poster: Neurosymbolic Transformers for Multi-Agent Communication »
  Jeevana Priya Inala · Yichen Yang · James Paulos · Yewen Pu · Osbert Bastani · Vijay Kumar · Martin Rinard · Armando Solar-Lezama
• 2020 Poster: Learning Differentiable Programs with Admissible Neural Heuristics »
  Ameesh Shah · Eric Zhan · Jennifer J Sun · Abhinav Verma · Yisong Yue · Swarat Chaudhuri
• 2020 Poster: Neurosymbolic Reinforcement Learning with Formally Verified Exploration »
  Greg Anderson · Abhinav Verma · Isil Dillig · Swarat Chaudhuri
• 2019 Poster: Write, Execute, Assess: Program Synthesis with a REPL »
  Kevin Ellis · Maxwell Nye · Yewen Pu · Felix Sosa · Josh Tenenbaum · Armando Solar-Lezama
• 2018 Poster: Learning to Infer Graphics Programs from Hand-Drawn Images »
  Kevin Ellis · Daniel Ritchie · Armando Solar-Lezama · Josh Tenenbaum
• 2018 Poster: Learning Libraries of Subroutines for Neurally–Guided Bayesian Program Induction »
  Kevin Ellis · Lucas Morales · Mathias Sablé-Meyer · Armando Solar-Lezama · Josh Tenenbaum
• 2018 Spotlight: Learning to Infer Graphics Programs from Hand-Drawn Images »
  Kevin Ellis · Daniel Ritchie · Armando Solar-Lezama · Josh Tenenbaum
• 2018 Spotlight: Learning Libraries of Subroutines for Neurally–Guided Bayesian Program Induction »
  Kevin Ellis · Lucas Morales · Mathias Sablé-Meyer · Armando Solar-Lezama · Josh Tenenbaum
• 2018 Poster: Verifiable Reinforcement Learning via Policy Extraction »
  Osbert Bastani · Yewen Pu · Armando Solar-Lezama
• 2018 Poster: Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections »
  Xin Zhang · Armando Solar-Lezama · Rishabh Singh
• 2016 Poster: Sampling for Bayesian Program Learning »
  Kevin Ellis · Armando Solar-Lezama · Josh Tenenbaum
• 2015 Poster: Unsupervised Learning by Program Synthesis »
  Kevin Ellis · Armando Solar-Lezama · Josh Tenenbaum