Control-data separation and logical condition propagation for efficient inference on probabilistic programs

DOI10.1016/j.jlamp.2023.100922arXiv2101.01502OpenAlexW4387374098MaRDI QIDQ6151609

Ichiro Hasuo, Kohei Suenaga, Clovis Eberhart, Shin-ya Katsumata, Kenta Cho, Yuichiro Oyabu

Publication date: 12 February 2024

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2101.01502

zbMATH Keywords

samplingstatic analysisBayesian inferenceprogram logicprobabilistic programming

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Semantics of probabilistic programs
• Semantics for probabilistic programming
• The Continuum-Armed Bandit Problem
• Introduction to Multi-Armed Bandits
• Regret Analysis of Stochastic and Nonstochastic Multi-armed Bandit Problems
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Control-data separation and logical condition propagation for efficient inference on probabilistic programs