TY  - RPRT
TI  - Exact Evaluation of Probabilistic Programs with Cylindrical Algebraic Decomposition
AU  - Fredrik Dahlqvist
AU  - Mohamed Hamza Bandukara
AU  - Niki Omidvari
PY  - 2026
UR  - https://arxiv.org/abs/2606.24514
ID  - 2606.24514
ER  -