research
∙
09/13/2023
Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming
The concept of updating a probability distribution in the light of new e...
share
research
∙
08/01/2023
Absolute continuity, supports and idempotent splitting in categorical probability
Markov categories have recently turned out to be a powerful high-level f...
research
∙
11/04/2022
Dilations and information flow axioms in categorical probability
We study the positivity and causality axioms for Markov categories as pr...
research
∙
04/29/2022
Decorated Linear Relations: Extending Gaussian Probability with Uninformative Priors
We introduce extended Gaussian distributions as a precise and principled...
research
∙
01/27/2021
Compositional Semantics for Probabilistic Programs with Exact Conditioning
We define a probabilistic programming language for Gaussian random varia...
research
∙
07/16/2020
Probabilistic Programming Semantics for Name Generation
We make a formal analogy between random sampling and fresh name generati...
research
∙
02/26/2018