Fine-grained semantics for probabilistic programs
Probabilistic programming is an emerging technique for modeling processes involving
uncertainty. Thus, it is important to ensure these programs are assigned precise formal …
uncertainty. Thus, it is important to ensure these programs are assigned precise formal …
Programmable MCMC with Soundly Composed Guide Programs
Probabilistic programming languages (PPLs) provide language support for expressing
flexible probabilistic models and solving Bayesian inference problems. PPLs with …
flexible probabilistic models and solving Bayesian inference problems. PPLs with …
An application of computable distributions to the semantics of probabilistic programs
In this chapter, we explore how (Type-2) computable distributions can be used to give both
(algorithmic) sampling and distributional semantics to probabilistic programs with …
(algorithmic) sampling and distributional semantics to probabilistic programs with …
[PDF][PDF] Synthetic topology in homotopy type theory for probabilistic programming
F Faissole, B Spitters - Proc, 2017 - users-cs.au.dk
The ALEA Coq library formalizes discrete measure theory using a variant of the Giry monad,
as a submonad of the CPS monad:(A→[0, 1])→[0, 1]. This allows one to use Moggi's …
as a submonad of the CPS monad:(A→[0, 1])→[0, 1]. This allows one to use Moggi's …
Synthetic topology in Homotopy Type Theory for probabilistic programming
ME Bidlingmaier, F Faissole, B Spitters - Mathematical Structures in …, 2021 - cambridge.org
The ALEA Coq library formalizes measure theory based on a variant of the Giry monad on
the category of sets. This enables the interpretation of a probabilistic programming language …
the category of sets. This enables the interpretation of a probabilistic programming language …
[PDF][PDF] Probabilistic Programming and Multiverse Models of Type Theory
ME Bidlingmaier - 2022 - mbid.me
This thesis presents two constructions in the area of mathematical semantics of type
systems. First we develop a semantics of a probabilistic programming language in synthetic …
systems. First we develop a semantics of a probabilistic programming language in synthetic …