Seuraa
Steven Holtzen
Steven Holtzen
Northeastern University
Vahvistettu sähköpostiosoite verkkotunnuksessa northeastern.edu - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
692020
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
382016
Classification system with methodology for efficient verification
D Lisuk, S Holtzen
US Patent 9,390,086, 2016
362016
Generating and Sampling Orbits for Lifted Probabilistic Inference
S Holtzen, T Millstein, G Van den Broeck
Uncertainty in Artificial Intelligence (UAI), 2019
162019
Sound Abstraction and Decomposition of Probabilistic Programs
S Holtzen, G Van den Broeck, T Millstein
International Conference on Machine Learning (ICML) 35, 2018
162018
Model Checking Finite-Horizon Markov Chains with Probabilistic Inference
S Holtzen, S Junges, M Vazquez-Chanlatte, T Millstein, S Seshia, ...
33rd International Conference on Computer-Aided Verification (CAV), 2021
152021
Logical Abstractions for Noisy Variational Quantum Algorithm Simulation
Y Huang, S Holtzen, T Millstein, G Van den Broeck, M Martonosi
International Conference on Architectural Support for Programming Languages …, 2021
152021
Probabilistic Program Abstractions
S Holtzen, T Millstein, G Van den Broeck
Uncertainty in Artificial Intelligence (UAI), 2017
132017
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
132015
Dice: Compiling Discrete Probabilistic Programs for Scalable Inference.
S Holtzen, GV Broeck, TD Millstein
102020
Symbolic Exact Inference for Discrete Probabilistic Programs
S Holtzen, T Millstein, G Van den Broeck
arXiv preprint arXiv:1904.02079, 2019
82019
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
72020
Lilac: a Modal Separation Logic for Conditional Probability
JM Li, A Ahmed, S Holtzen
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2023
52023
Scaling integer arithmetic in probabilistic programs
WX Cao, P Garg, R Tjoa, S Holtzen, T Millstein, G Van den Broeck
Uncertainty in Artificial Intelligence, 260-270, 2023
22023
Type Prediction With Program Decomposition and Fill-in-the-Type Training
F Cassano, MH Yee, N Shinn, A Guha, S Holtzen
arXiv preprint arXiv:2305.17145, 2023
22023
flip-hoisting: Exploiting Repeated Parameters in Discrete Probabilistic Programs
EY Cheng, T Millstein, GV Broeck, S Holtzen
arXiv preprint arXiv:2110.10284, 2021
12021
Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting
L Oakley, S Holtzen, A Oprea
arXiv preprint arXiv:2402.16982, 2024
2024
Bit Blasting Probabilistic Programs
P Garg, S Holtzen, GV Broeck, T Millstein
arXiv preprint arXiv:2312.05706, 2023
2023
Probabilistic logic programming semantics for procedural content generation
A Madkour, C Martens, S Holtzen, C Harteveld, S Marsella
Proceedings of the AAAI Conference on Artificial Intelligence and …, 2023
2023
Scaling Probabilistic Programming with First-Class Marginal-MAP
J Gouwar, S Holtzen
2023
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20