Holtzen, Steven

5 publications

UAI 2023 Scaling Integer Arithmetic in Probabilistic Programs William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd Millstein, Guy Van den Broeck

UAI 2020 On the Relationship Between Probabilistic Circuits and Determinantal Point Processes Honghua Zhang, Steven Holtzen, Guy Broeck

UAI 2019 Generating and Sampling Orbits for Lifted Probabilistic Inference Steven Holtzen, Todd Millstein, Guy Van den Broeck

ICML 2018 Sound Abstraction and Decomposition of Probabilistic Programs Steven Holtzen, Guy Broeck, Todd Millstein

UAI 2017 Probabilistic Program Abstractions Steven Holtzen, Todd D. Millstein, Guy Van den Broeck