Variable Elimination as Rewriting in a Linear Lambda Calculus

Thomas Ehrhard, Claudia Faggian, Michele Pagani

Variable Elimination (VE) is a classical exact inference algorithm for probabilistic graphical models such as Bayesian Networks, computing the marginal distribution of a subset of…