TY  - RPRT
TI  - Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops
AU  - Markus Böck
AU  - Jürgen Cito
PY  - 2026
DO  - 10.1145/3798223
UR  - https://arxiv.org/abs/2508.20922
ID  - 2508.20922
ER  -