( en | de | ru )

 

Disambiguation of "Holtzen, Steven"

Author of the publication

copydeleteadd this publication to your clipboard
Probabilistic Program Abstractions.

, , and . UAI, AUAI Press, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Adolf Steven

Steven Liu

Steven Ding

Steven Kaplan

Steven Ahlig

 

Other publications of authors with the same name

Bit Blasting Probabilistic Programs., , , and . Proc. ACM Program. Lang., 8 (PLDI): 865-888 (2024)Model Checking Finite-Horizon Markov Chains with Probabilistic Inference., , , , , and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 577-601. Springer, (2021)Symbolic Exact Inference for Discrete Probabilistic Programs., , and . CoRR, (2019)Ahead-of-time Compilation for Diverse Samplers of Constrained Design Spaces., , , , and . FDG, page 54. ACM, (2024)Logical abstractions for noisy variational Quantum algorithm simulation., , , , and . ASPLOS, page 456-472. ACM, (2021)Scaling integer arithmetic in probabilistic programs., , , , , and . UAI, volume 216 of Proceedings of Machine Learning Research, page 260-270. PMLR, (2023)Experiments for 'Model Checking Finite-Horizon Markov Chains with Probabilistic Inference'., , , , , and . (April 2021)Generating and Sampling Orbits for Lifted Probabilistic Inference., , and . UAI, volume 115 of Proceedings of Machine Learning Research, page 985-994. AUAI Press, (2019)A Nominal Approach to Probabilistic Separation Logic., , , , and . LICS, page 55:1-55:14. ACM, (2024)On the Relationship Between Probabilistic Circuits and Determinantal Point Processes., , and . UAI, volume 124 of Proceedings of Machine Learning Research, page 1188-1197. AUAI Press, (2020)