Skip to yearly menu bar Skip to main content


Poster

Sampling for Bayesian Program Learning

Kevin Ellis · Armando Solar-Lezama · Josh Tenenbaum

Area 5+6+7+8 #90

Keywords: [ (Other) Probabilistic Models and Methods ] [ (Other) Applications ] [ Structured Prediction ]


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.

Live content is unavailable. Log in and register to view live content