Denotational validation of higher-order Bayesian inference
<p>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 parts. However, neither their theoretical j...
| Main Authors: | , , , , , , , , , |
|---|---|
| Format: | Journal article |
| Published: |
Association for Computing Machinery
2018
|