Efficient synthesis of probabilistic programs.

Aditya V. Nori, Sherjil Ozair, Sriram K. Rajamani, Deepak Vijaykeerthy

Browse the full PLDI paper archive.