Automated quantized inference for probabilistic programs with AQUA

Keyphrases

• Adaptive Algorithm 50%
• Analysis Transforms 50%
• Approximation Algorithms 50%
• Bounded Error 50%
• Continuous Distribution 50%
• Exact Inference 50%
• Granularity 50%
• Inference Algorithms 50%
• Order of Accuracy 50%
• Posterior Distribution 100%
• Probabilistic Inference 50%
• Probabilistic Programs 100%
• Probability Density Function 50%
• Random Variables 50%

Computer Science

• Adaptive Algorithm 50%
• Approximate Algorithm 50%
• Continuous Distribution 50%
• Granularity 50%
• Posterior Distribution 100%
• Probabilistic Inference 50%
• Probability Density 50%
• Quantization (Signal Processing) 50%
• Random Variable 50%

Mathematics

• Approximates 50%
• Continuous Distribution 25%
• Cube 100%
• Median 25%
• Posterior Distribution 50%
• Probabilistic Inference 25%
• probability density ρ 25%
• Random Variable 25%