Bayesian Optimization for Probabilistic Programs Tom Rainforth Jan-Willem van de Meent Michael A. Osborne