TY - RPRT TI - Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures AU - Francesca Randone AU - Luca Bortolussi AU - Emilio Incerto AU - Mirco Tribastone PY - 2023 DO - 10.1145/3632905 UR - https://arxiv.org/abs/2311.08235 ID - 2311.08235 ER -