24 citations · 41 across the 6 of their papers we have counts for
3 papers · 1 filter
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…
Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets
Nathanael L. Ackerman, Cameron E. Freer, Younesse Kaddar +5
We study semantic models of probabilistic programming languages over graphs, and establish a connection to graphons from graph theory and combinatorics. We show that every well-beh…
PAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs
Mathieu Huot, Alexander K. Lew, Vikash K. Mansinghka +1
We introduce a new setting, the category of PAP spaces, for reasoning denotationally about expressive differentiable and probabilistic programming languages. Our semantics is ge…