Measure transformer semantics for Bayesian machine learning
From MaRDI portal
Publication:5891171
Recommendations
- Measure transformer semantics for Bayesian machine learning
- A predicate/state transformer semantics for Bayesian learning
- Transformations in semi-parametric Bayesian synthetic likelihood
- Bayesian predictive inference under informative sampling and transformation
- Bayes point machines
- Bayesian distillation of deep learning models
Cited in
(17)- Running probabilistic programs backwards
- Pointless learning
- Measure transformer semantics for Bayesian machine learning
- Bayesian strategies: probabilistic programs as generalised graphical models
- A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces
- On the hardness of almost-sure termination
- Commutative semantics for probabilistic programming
- Contextual equivalence for probabilistic programs with continuous random variables and scoring
- Probabilistic inference by program transformation in Hakaru (system description)
- The geometry of Bayesian programming
- A predicate/state transformer semantics for Bayesian learning
- Exact Bayesian inference by symbolic disintegration
- From probability monads to commutative effectuses
- The geometry of Bayesian programming
- Symbolic semantics for probabilistic programs
- Generative Datalog with continuous distributions
- Disintegration and Bayesian inversion via string diagrams
This page was built for publication: Measure transformer semantics for Bayesian machine learning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5891171)
