12 citations · 27 across the 5 of their papers we have counts for
6 papers
Absolute continuity, supports and idempotent splitting in categorical probability
Tobias Fritz, Tomáš Gonda, Antonio Lorenzin +2
Markov categories have recently turned out to be a powerful high-level framework for probability and statistics. They accommodate purely categorical definitions of notions like con…
Dilations and information flow axioms in categorical probability
Tobias Fritz, Tomáš Gonda, Nicholas Gauguin Houghton-Larsen +3
We study the positivity and causality axioms for Markov categories as properties of dilations and information flow in Markov categories, and in variations thereof for arbitrary sem…
A Category for unifying Gaussian Probability and Nondeterminism
Dario Stein, Richard Samuelson
We introduce categories of extended Gaussian maps and Gaussian relations which unify Gaussian probability distributions with relational nondeterminism in the form of linear relatio…
Compositional Semantics for Probabilistic Programs with Exact Conditioning
Dario Stein, Sam Staton
We define a probabilistic programming language for Gaussian random variables with a first-class exact conditioning construct. We give operational, denotational and equational seman…
Probabilistic Programming Semantics for Name Generation
Marcin Sabok, Sam Staton, Dario Stein +1
We make a formal analogy between random sampling and fresh name generation. We show that quasi-Borel spaces, a model for probabilistic programming, can soundly interpret Stark's $ν…
The Beta-Bernoulli process and algebraic effects
Sam Staton, Dario Stein, Hongseok Yang +3
In this paper we use the framework of algebraic effects from programming language theory to analyze the Beta-Bernoulli process, a standard building block in Bayesian models. Our an…