Papers matching “probabilistic programming languages” 15
Not finding it? Sign in to also search OpenAlex live.
-
Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
33citations -
Weighted programming: a programming paradigm for specifying mathematical models2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler
18citations -
A Deductive Verification Infrastructure for Probabilistic Programs2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
22citations -
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler
2citations -
A pre-expectation calculus for probabilistic sensitivity2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
24citations -
JAX-COSMO: An End-to-End Differentiable and GPU Accelerated Cosmology Library2023 The Open Journal of Astrophysics article Physics and Astronomy Cosmology and Gravitation Theories Open access
J.E. Campagne, François Lanusse, Joe Zuntz, A. Boucaud, Santiago Casas, Minas Karamanis, +4 more
54citations -
JAX-COSMO: An End-to-End Differentiable and GPU Accelerated Cosmology Library2023 The Open Journal of Astrophysics article Physics and Astronomy Cosmology and Gravitation Theories Open access
J.E. Campagne, François Lanusse, Joe Zuntz, A. Boucaud, Santiago Casas, Minas Karamanis, +4 more
1citations
15 results