2 citations · 3 across the 13 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
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…
cs.LO2023
Denotational semantics for languages for inference: semirings, monads, and tensors
Cristina Matache, Sean Moss, Sam Staton +1
Computational effects are commonly modelled by monads, but often a monad can be presented by an algebraic theory of operations and equations. This talk is about monads and algebrai…