NIPS Proceedingsβ

Armando Solar-Lezama

6 Papers

  • Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections (2018)
  • Learning Libraries of Subroutines for Neurally–Guided Bayesian Program Induction (2018)
  • Learning to Infer Graphics Programs from Hand-Drawn Images (2018)
  • Verifiable Reinforcement Learning via Policy Extraction (2018)
  • Sampling for Bayesian Program Learning (2016)
  • Unsupervised Learning by Program Synthesis (2015)