Steven Holtzen
Title
Cited by
Cited by
Year
Inferring Human Intent from Video by Sampling Hierarchical Plans
S Holtzen, Y Zhao, T Gao, JB Tenenbaum, SC Zhu
IEEE International Conference on Intelligent Robots and Systems (IROS), 2016
192016
Probabilistic Program Abstractions
S Holtzen, T Millstein, G Van den Broeck
Uncertainty in Artificial Intelligence (UAI), 2017
72017
Symbolic Exact Inference for Discrete Probabilistic Programs
S Holtzen, T Millstein, G Van den Broeck
arXiv preprint arXiv:1904.02079, 2019
62019
Represent and Infer Human Theory of Mind for Human-Robot Interaction
Y Zhao, S Holtzen, T Gao, SC Zhu
2015 AAAI Fall Symposium Series, 2015
62015
Sound Abstraction and Decomposition of Probabilistic Programs
S Holtzen, G Van den Broeck, T Millstein
International Conference on Machine Learning (ICML) 35, 2018
52018
Dice: Compiling Discrete Probabilistic Programs for Scalable Inference
S Holtzen, GV Broeck, T Millstein
arXiv preprint arXiv:2005.09089, 2020
12020
On the Relationship Between Probabilistic Circuits and Determinantal Point Processes
H Zhang, S Holtzen, GV Broeck
arXiv preprint arXiv:2006.15233, 2020
2020
Generating and Sampling Orbits for Lifted Probabilistic Inference
S Holtzen, T Millstein, G Van den Broeck
Uncertainty in Artificial Intelligence (UAI), 2019
2019
Probabilistic Program Inference With Abstractions
S Holtzen, G Van den Broeck, T Millstein
POPL Workshop on Probabilistic Program Semantics (PPS), 2017
2017
Classification system with methodology for efficient verification
D Lisuk, S Holtzen
US Patent 9,390,086, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–10