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
232016
Sound Abstraction and Decomposition of Probabilistic Programs
S Holtzen, G Van den Broeck, T Millstein
International Conference on Machine Learning (ICML) 35, 2018
102018
Probabilistic Program Abstractions
S Holtzen, T Millstein, G Van den Broeck
Uncertainty in Artificial Intelligence (UAI), 2017
102017
Classification system with methodology for efficient verification
D Lisuk, S Holtzen
US Patent 9,390,086, 2016
102016
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
82015
Symbolic Exact Inference for Discrete Probabilistic Programs
S Holtzen, T Millstein, G Van den Broeck
arXiv preprint arXiv:1904.02079, 2019
62019
Scaling exact inference for discrete probabilistic programs
S Holtzen, G Van den Broeck, T Millstein
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-31, 2020
32020
Dice: compiling discrete probabilistic programs for scalable inference
S Holtzen, GV Broeck, T Millstein
arXiv preprint arXiv:2005.09089, 2020
32020
Generating and Sampling Orbits for Lifted Probabilistic Inference
S Holtzen, T Millstein, G Van den Broeck
Uncertainty in Artificial Intelligence (UAI), 2019
22019
Probabilistic Program Inference With Abstractions
S Holtzen, G Van den Broeck, T Millstein
POPL Workshop on Probabilistic Program Semantics (PPS), 2017
12017
Noisy Variational Quantum Algorithm Simulation via Knowledge Compilation for Repeated Inference
Y Huang, S Holtzen, T Millstein, G Van den Broeck, M Martonosi
International Conference on Architectural Support for Programming Languages …, 2021
2021
On the Relationship Between Probabilistic Circuits and Determinantal Point Processes
H Zhang, S Holtzen, GV Broeck
Proceedings of the 36th Conference on Uncertainty in Aritifical Intelligence …, 2020
2020
1 Probabilistic Programming
S Holtzen
Logic Formulas as Program Abstractions for Quantum Circuits: A Case Study in Noisy Variational Algorithm Simulation
Y Huang, S Holtzen, T Millstein, G Van den Broeck, M Martonosi
3.3 Probabilistic Programming
S Holtzen
SE4ML–Software Engineering for AI-ML-based Systems, 81, 0
The system can't perform the operation now. Try again later.
Articles 1–15