Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling
Synthesis of loop-free programs