AQUA: automated quantized inference for probabilistic programs

DOI10.1007/978-3-030-88885-5_16MaRDI QIDQ2147199zbMATH OpenOpenAlexFDO

Authors Zixin Huang, Saikat Dutta, Sasa Misailovic

Publication date 22 June 2022

Full work available at URL https://doi.org/10.1007/978-3-030-88885-5_16

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Continualization of probabilistic programs with correction
• Exact Bayesian inference by symbolic disintegration
• A provably correct sampler for probabilistic programs
• Probabilistic inference by program transformation in Hakaru (system description)
• The magic of logical inference in probabilistic programming

Cites work

• A General Framework for Updating Belief Distributions
• A general method for robust Bayesian modeling
• Continualization of probabilistic programs with correction
• Probabilistic inference by program transformation in Hakaru (system description)
• What's the over/under? Probabilistic bounds on information leakage

Cited in

(6)

• Probabilistic inference by program transformation in Hakaru (system description)
• Continualization of probabilistic programs with correction
• Distribution estimation for probabilistic loops
• Exact Bayesian inference by symbolic disintegration
• Does a Program Yield the Right Distribution?
• Automatic alignment in higher-order probabilistic programming languages

Describes a project that uses

Uses Software

• Storm
• GitHub
• Hakaru
• BayesDA
• Stan

This page was built for publication: AQUA: automated quantized inference for probabilistic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2147199)