Author of the publication

ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs.

, , , and . LICS, page 1-14. IEEE, (2023)

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.

 

Other publications of authors with the same name

Probabilistic Programming with Stochastic Probabilities., , , and . Proc. ACM Program. Lang., 7 (PLDI): 1708-1732 (2023)ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs., , , and . Proc. ACM Program. Lang., 7 (POPL): 121-153 (January 2023)GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables., , , , , , , , and . Proc. ACM Program. Lang., 8 (PLDI): 790-815 (2024)PClean: Bayesian Data Cleaning at Scale with Domain-Specific Probabilistic Programming., , , and . AISTATS, volume 130 of Proceedings of Machine Learning Research, page 1927-1935. PMLR, (2021)Gen: a general-purpose probabilistic programming system with programmable inference., , , and . PLDI, page 221-236. ACM, (2019)Probabilistic Programming with Programmable Variational Inference., , , , , , and . Proc. ACM Program. Lang., 8 (PLDI): 2123-2147 (2024)SMCP3: Sequential Monte Carlo with Probabilistic Program Proposals., , , , , , and . AISTATS, volume 206 of Proceedings of Machine Learning Research, page 7061-7088. PMLR, (2023)ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs., , , and . LICS, page 1-14. IEEE, (2023)Trace types and denotational semantics for sound programmable inference in probabilistic languages., , , , and . Proc. ACM Program. Lang., 4 (POPL): 19:1-19:32 (2020)Recursive Monte Carlo and variational inference with auxiliary variables., , and . UAI, volume 180 of Proceedings of Machine Learning Research, page 1096-1106. PMLR, (2022)