AQUA: automated quantized inference for probabilistic programs

DOI10.1007/978-3-030-88885-5_16zbMath1497.68099OpenAlexW3207720664MaRDI QIDQ2147199

Sasa Misailovic, Saikat Dutta, Zixin Huang

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)

Related Items (1)

Distribution estimation for probabilistic loops

Uses Software

• Stan
• BayesDA
• Hakaru
• GitHub
• Storm

Cites Work

• A general method for robust Bayesian modeling
• What's the over/under? Probabilistic bounds on information leakage
• Probabilistic Inference by Program Transformation in Hakaru (System Description)
• Continualization of Probabilistic Programs With Correction
• A General Framework for Updating Belief Distributions

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