Efficiently Sampling Probabilistic Programs via Program Analysis.

Arun Tejasvi Chaganty, Aditya V. Nori, Sriram K. Rajamani

Browse the full AISTATS paper archive.