Denotational validation of higher-order Bayesian inference

Autor: Matthijs Vákár, Hongseok Yang, Sean K. Moss, Adam Ścibior, Chris Heunen, Yufei Cai, Sam Staton, Ohad Kammar, Klaus Ostermann, Zoubin Ghahramani

Publikováno v: Scibior, A, Kammar, O, Vákár, M, Staton, S, Yang, H, Cai, Y, Ostermann, K, Moss, S K, Heunen, C & Ghahramani, Z 2018, ' Denotational validation of higher-order Bayesian inference ', Proceedings of the ACM on Programming Languages, vol. 2, no. POPL, 60 . https://doi.org/10.1145/3158148

We present a modular semantic account of Bayesian inference algorithms for probabilistic programming languages, as used in data science and machine learning. Sophisticated inference algorithms are often explained in terms of composition of smaller pa

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c204d70414bc624f2f7ac5a6920a2e93