Denotational validation of higher-order Bayesian inference

Adam Ścibior, Ohad Kammar, Matthijs Vákár +7

We present a modular semantic account of Bayesian inference algorithms for probabilistic programming languages, as used in data science and machine learning. Sophisticated inferenc…