2 papers
cs.PL2020
Weakest Preexpectation Semantics for Bayesian Inference
Marcin Szymczak, Joost-Pieter Katoen
We present a semantics of a probabilistic while-language with soft conditioning and continuous distributions which handles programs diverging with positive probability. To this end…
cs.PL2015
A Lambda-Calculus Foundation for Universal Probabilistic Programming
Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon +1
We develop the operational semantics of an untyped probabilistic lambda-calculus with continuous distributions, as a foundation for universal probabilistic programming languages su…