Scaling integer arithmetic in probabilistic programs.
William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck
Browse the full UAI paper archive.
William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck
Browse the full UAI paper archive.