Probabilistic Program Abstractions.

Steven Holtzen, Todd D. Millstein, Guy Van den Broeck

Browse the full UAI paper archive.