Millstein, Todd

4 publications

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

NeurIPS 2020 Counterexample-Guided Learning of Monotonic Neural Networks Aishwarya Sivaraman, Golnoosh Farnadi, Todd Millstein, Guy Van den 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