BAYESIAN PROGRAM LEARNING AT SCALE