Measure transformer semantics for Bayesian machine learning

DOI10.2168/LMCS-9(3:11)2013zbMATH Open1274.68295OpenAlexW2615879196MaRDI QIDQ5891171FDOQ5891171

Authors: Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael 

Publication date: 26 September 2013

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-9(3:11)2013

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

zbMATH Keywords

programming languagesdenotational semanticsprobabilistic programmingmodel-based machine learning

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Theory of programming languages (68N15)

Cited In (17)

• 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
• Exact Bayesian inference by symbolic disintegration
• A predicate/state transformer semantics for Bayesian learning
• 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
• Measure transformer semantics for Bayesian machine learning
• Running probabilistic programs backwards
• Pointless learning

Uses Software

• Haskell
• WinBUGS
• Infer.NET
• IBAL
• Church
• FACTORIE
• BLOG
• HBC
• Blaise

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)