( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Probabilistic Program Abstractions.

, , и . 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.

Adolf Steven

Steven Liu

Steven Ding

Steven Kaplan

Steven Ahlig

 

Другие публикации лиц с тем же именем

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