Paper Accepted by LAFI 2023

Our extended abstract titled “Exact Probabilistic Inference Using Generating Functions” by Lutz Klinkenberg (RWTH Aachen), Tobias Winkler (RWTH Aachen), Mingshuai Chen, and Joost-Pieter Katoen (RWTH Aachen) has been accepted for presentation at LAFI 2023 – the Languages for Inference workshop co-located with POPL 2023 at Boston, Massachusetts, United States. This extended abstract presents our ongoing research in addressing the problem of exact inference for probabilistic programs leveraging generating functions.