AQUA: automated quantized inference for probabilistic programs

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

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

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

Uses Software

• Stan
• BayesDA
• Hakaru
• GitHub
• Storm