( en | de | ru )

 

Disambiguation of "Holtzen, Steven"

Author of the publication

copydeleteadd this publication to your clipboard
Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting.

, , and . CoRR, (2024)

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.

Steven Liu

Steven Ding

Adolf Steven

Steven Ahlig

Doris Steven

 

Other publications of authors with the same name

Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting., , and . CoRR, (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)Scaling exact inference for discrete probabilistic programs., , and . Proc. ACM Program. Lang., 4 (OOPSLA): 140:1-140:31 (2020)Symbolic Exact Inference for Discrete Probabilistic Programs., , and . CoRR, (2019)flip-hoisting: Exploiting Repeated Parameters in Discrete Probabilistic Programs., , , and . CoRR, (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)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)Lilac: a Modal Separation Logic for Conditional Probability., , and . CoRR, (2023)Probabilistic Program Abstractions., , and . UAI, AUAI Press, (2017)Probabilistic Logic Programming Semantics For Procedural Content Generation., , , , and . AIIDE, page 295-305. AAAI Press, (2023)