4 papers
First Steps towards Categorical Algebraic Artificial Chemistry
Joe Pratt-Johns, Toby St. Clere Smithe, Chris Guiver +2
We construct a functor that gives a dynamics to an algebraic model of interacting components. The construction generalises a computational model of Fontana and Buss in the field of…
Copy-composition for Probabilistic Graphical Models
Toby St Clere Smithe
In probabilistic modelling, joint distributions are often of more interest than their marginals, but the standard composition of stochastic channels is defined by marginalization.…
AutoBayes: A Compositional Framework for Generalized Variational Inference
Toby St Clere Smithe, Marco Perin
We introduce a new compositional framework for generalized variational inference, clarifying the different parts of a model, how they interact, and how they compose. We explain tha…
On the Functoriality of Belief Propagation Algorithms on finite Partially Ordered Sets
Grégoire Sergeant-Perthuis, Toby St Clere Smithe, Léo Boitel
Undirected graphical models are a widely used class of probabilistic models in machine learning that capture prior knowledge or putative pairwise interactions between variables. Th…