Home
News
People
Publications
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
program equivalence
Exact Bayesian Inference for Loopy Probabilistic Programs
We present an exact Bayesian inference method for inferring posterior distributions encoded by probabilistic programs featuring …
Lutz Klinkenberg
,
Christian Blumenthal
,
Mingshuai Chen
,
Joost-Pieter Katoen
PDF
Cite
Code
DOI
Does a Program Yield the Right Distribution?
We study discrete probabilistic programs with potentially unbounded looping behaviors over an infinite state space. We present, to the …
Mingshuai Chen
,
Joost-Pieter Katoen
,
Lutz Klinkenberg
,
Tobias Winkler
PDF
Cite
DOI
Artifact Evaluated
Cite
×