NeurIPS 2016poster42 citations
Sampling for Bayesian Program Learning
Kevin Ellis, Armando Solar-Lezama, Josh Tenenbaum
Abstract
Towards learning programs from data, we introduce the problem of sampling programs from posterior distributions conditioned on that data. Within this setting, we propose an algorithm that uses a symbolic solver to efficiently sample programs. The proposal combines constraint-based program synthesis with sampling via random parity constraints. We give theoretical guarantees on how well the samples approximate the true posterior, and have empirical results showing the algorithm is efficient in practice, evaluating our approach on 22 program learning problems in the domains of text editing and computer-aided programming.
BibTeX
@inproceedings{NIPS2016_afd48367,
author = {Ellis, Kevin and Solar-Lezama, Armando and Tenenbaum, Josh},
booktitle = {Advances in Neural Information Processing Systems},
editor = {D. Lee and M. Sugiyama and U. Luxburg and I. Guyon and R. Garnett},
pages = {},
publisher = {Curran Associates, Inc.},
title = {Sampling for Bayesian Program Learning},
url = {https://proceedings.neurips.cc/paper_files/paper/2016/file/afd4836712c5e77550897e25711e1d96-Paper.pdf},
volume = {29},
year = {2016}
}