Even probabilistic programs with while loops and dynamic sample labels factor into one density term per labelled sample statement, and this static factorization accelerates three Bayesian inference algorithms.
x " , Bernoulli ( p )) if x == 1 then y = sample (
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2025 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops
Even probabilistic programs with while loops and dynamic sample labels factor into one density term per labelled sample statement, and this static factorization accelerates three Bayesian inference algorithms.