Paper Accepted by LAFI 2023

Our extended abstract has been accepted for presentation at 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.