Table of Contents
Fetching ...

AutoBayes: A Compositional Framework for Generalized Variational Inference

Toby St Clere Smithe, Marco Perin

TL;DR

A new compositional framework for generalized variational inference is introduced, clarifying the different parts of a model, how they interact, and how they compose, and how the resulting parameterized statistical games may be optimized locally.

Abstract

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 that both exact Bayesian inference and the loss functions typical of variational inference (such as variational free energy and its generalizations) satisfy chain rules akin to that of reverse-mode automatic differentiation, and we advocate for exploiting this to build and optimize models accordingly. To this end, we construct a series of compositional tools: for building models; for constructing their inversions; for attaching local loss functions; and for exposing parameters. Finally, we explain how the resulting parameterized statistical games may be optimized locally, too. We illustrate our framework with a number of classic examples, pointing to new areas of extensibility that are revealed.

AutoBayes: A Compositional Framework for Generalized Variational Inference

TL;DR

A new compositional framework for generalized variational inference is introduced, clarifying the different parts of a model, how they interact, and how they compose, and how the resulting parameterized statistical games may be optimized locally.

Abstract

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 that both exact Bayesian inference and the loss functions typical of variational inference (such as variational free energy and its generalizations) satisfy chain rules akin to that of reverse-mode automatic differentiation, and we advocate for exploiting this to build and optimize models accordingly. To this end, we construct a series of compositional tools: for building models; for constructing their inversions; for attaching local loss functions; and for exposing parameters. Finally, we explain how the resulting parameterized statistical games may be optimized locally, too. We illustrate our framework with a number of classic examples, pointing to new areas of extensibility that are revealed.

Paper Structure

This paper contains 9 sections, 3 theorems, 12 equations.

Key Result

theorem 1

Define a function $(-)^\dag$ mapping open models $c:X\ooalign{$→$\crcr\hidewidth$$\mathbin{\ooalign{$∘$\crcr\hidewidth$⋅$\hidewidth}}$$\hidewidth} Y$ to exact Bayesian lenses $(c)^\dag := (c,c^\dag):X\mathrel{\ooalign{$5mu$\cr$$\cr}} Y$. This function satisfies $(d\mathbin{\ooalign{$∘$\crcr\hidewidt

Theorems & Definitions (30)

  • definition 1: Open model
  • remark 1
  • remark 2
  • definition 2: Composition of models
  • remark 3
  • definition 3: Parallel composition
  • remark 4
  • remark 5
  • definition 4: Bayesian lens
  • definition 5: Exact Bayesian lens
  • ...and 20 more