Represent and Infer Human Theory of Mind for Human-Robot Interaction. - Yibiao Zhao; Steven Holtzen; Tao Gao 004; Song-Chun Zhu (AAAI Fall Symposia, 2015)

Inferring human intent from video by sampling hierarchical plans. - Steven Holtzen; Yibiao Zhao; Tao Gao 004; Joshua B. Tenenbaum; Song-Chun Zhu (IROS, 2016)

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

Sound Abstraction and Decomposition of Probabilistic Programs. - Steven Holtzen; Guy Van den Broeck; Todd D. Millstein (ICML, 2018)

Generating and Sampling Orbits for Lifted Probabilistic Inference. - Steven Holtzen; Todd D. Millstein; Guy Van den Broeck (UAI, 2019)

Symbolic Exact Inference for Discrete Probabilistic Programs. - Steven Holtzen; Todd D. Millstein; Guy Van den Broeck (CoRR, 2019)

On the Relationship Between Probabilistic Circuits and Determinantal Point Processes. - Honghua Zhang; Steven Holtzen; Guy Van den Broeck (UAI, 2020)

Dice: Compiling Discrete Probabilistic Programs for Scalable Inference. - Steven Holtzen; Guy Van den Broeck; Todd D. Millstein (CoRR, 2020)

Scaling exact inference for discrete probabilistic programs. - Steven Holtzen; Guy Van den Broeck; Todd D. Millstein (Proc. ACM Program. Lang., 2020)

Logical abstractions for noisy variational Quantum algorithm simulation. - Yipeng Huang 001; Steven Holtzen; Todd D. Millstein; Guy Van den Broeck; Margaret Martonosi (ASPLOS, 2021)

Model Checking Finite-Horizon Markov Chains with Probabilistic Inference. - Steven Holtzen; Sebastian Junges; Marcell Vazquez-Chanlatte; Todd D. Millstein; Sanjit A. Seshia; Guy Van den Broeck (CAV (2), 2021)

flip-hoisting: Exploiting Repeated Parameters in Discrete Probabilistic Programs. - Yu-Hsi Cheng; Todd D. Millstein; Guy Van den Broeck; Steven Holtzen (CoRR, 2021)

Experiments for 'Model Checking Finite-Horizon Markov Chains with Probabilistic Inference'. - Steven Holtzen; Sebastian Junges; Marcell Vazquez-Chanlatte; Todd D. Millstein; Sanjit A. Seshia; Guy Van den Broeck (Zenodo, 2021)

Probabilistic Logic Programming Semantics For Procedural Content Generation. - Abdelrahman Madkour; Chris Martens 001; Steven Holtzen; Casper Harteveld; Stacy Marsella (AIIDE, 2023)

Scaling integer arithmetic in probabilistic programs. - William X. Cao; Poorva Garg; Ryan Tjoa; Steven Holtzen; Todd D. Millstein; Guy Van den Broeck (UAI, 2023)

Type Prediction With Program Decomposition and Fill-in-the-Type Training. - Federico Cassano; Ming-Ho Yee; Noah Shinn; Arjun Guha; Steven Holtzen (CoRR, 2023)

Lilac: A Modal Separation Logic for Conditional Probability. - John M. Li; Amal Ahmed 001; Steven Holtzen (Proc. ACM Program. Lang., 2023)

Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting. - Lisa Oakley; Steven Holtzen; Alina Oprea (CSF, 2024)

Ahead-of-time Compilation for Diverse Samplers of Constrained Design Spaces. - Abdelrahman Madkour; Ross Mawhorter; Stacy Marsella; Adam M. Smith 001; Steven Holtzen (FDG, 2024)

A Nominal Approach to Probabilistic Separation Logic. - John M. Li; Jon Aytac; Philip Johnson-Freyd; Amal Ahmed 001; Steven Holtzen (LICS, 2024)

Bit Blasting Probabilistic Programs. - Poorva Garg; Steven Holtzen; Guy Van den Broeck; Todd D. Millstein (Proc. ACM Program. Lang., 2024)

Scaling Optimization over Uncertainty via Compilation. - Minsung Cho; John Gouwar; Steven Holtzen (Proc. ACM Program. Lang., 2025)

Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming. - Cameron Moy; Jack Czenszak; John M. Li; Brianna Marshall; Steven Holtzen (Proc. ACM Program. Lang., 2025)

Multi-Language Probabilistic Programming. - Sam Stites; John M. Li; Steven Holtzen (Proc. ACM Program. Lang., 2025)