2 papers
math.CT2024
Towards a Compositional Framework for Convex Analysis (with Applications to Probability Theory)
Dario Stein, Richard Samuelson
We introduce a compositional framework for convex analysis based on the notion of convex bifunction of Rockafellar. This framework is well-suited to graphical reasoning, and exhibi…
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…