Probabilistic inference by program transformation in Hakaru (system description)
From MaRDI portal
Recommendations
- Probabilistic programming language and its incremental evaluation
- Commutative semantics for probabilistic programming
- Measure transformer semantics for Bayesian machine learning
- Measure transformer semantics for Bayesian machine learning
- AQUA: automated quantized inference for probabilistic programs
Cites work
- Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
- scientific article; zbMATH DE number 3764843 (Why is no real title available?)
- scientific article; zbMATH DE number 48812 (Why is no real title available?)
- Stochastic lambda calculus and monads of probability distributions
Cited in
(13)- AQUA: automated quantized inference for probabilistic programs
- A functional account of probabilistic programming with possible worlds. Declarative pearl
- Fabular: regression formulas as probabilistic programming
- Contextual equivalence for probabilistic programs with continuous random variables and scoring
- Commutative semantics for probabilistic programming
- Probabilistic programming language and its incremental evaluation
- Large Scale Inference of Deterministic Transductions: Tenjinno Problem 1
- A monad for probabilistic point processes
- Distribution estimation for probabilistic loops
- Does a Program Yield the Right Distribution?
- Languages for probabilistic modeling over structured and relational domains
- On iteration in discrete probabilistic programming
- A domain-theoretic approach to statistical programming languages
This page was built for publication: Probabilistic inference by program transformation in Hakaru (system description)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2798260)
