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.
Then, the execution sequence in the unrolled version of the sliced CFG ๐บ SMC ๐ matches the sub-sequence:(๐โฒ 1, START) tr โโ(๐โฒ 1,๐โฒ 1) tr โโยทยทยท tr โโ(๐โฒ 2,๐โฒ 2) tr โโ(๐โฒ 2, END)
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.