2 papers
math.CT2025
Random Variables, Conditional Independence and Categories of Abstract Sample Spaces
Dario Stein
Two high-level "pictures" of probability theory have emerged: one that takes as central the notion of random variable, and one that focuses on distributions and probability channel…
cs.PL2023
Probabilistic Programming with Exact Conditions
Dario Stein, Sam Staton
We spell out the paradigm of exact conditioning as an intuitive and powerful way of conditioning on observations in probabilistic programs. This is contrasted with likelihood-based…