12 citations · 39 across the 13 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024
A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming
Robin Piedeleu, Mateo Torres-Ruiz, Alexandra Silva +1
We introduce a sound and complete equational theory capturing equivalence of discrete probabilistic programs, that is, programs extended with primitives for Bernoulli distributions…
cs.LO2024
Graphical Quadratic Algebra
Dario Stein, Fabio Zanasi, Robin Piedeleu +1
Convex analysis and Gaussian probability are tightly connected, as mostly evident in the theory of linear regression. Our work introduces an algebraic perspective on such relations…