12 citations · 39 across the 13 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LO2025
A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures
Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva +1
We extend the synthetic theories of discrete and Gaussian categorical probability by introducing a diagrammatic calculus for reasoning about hybrid probabilistic models in which co…
cs.LO2025
The Algebra of Parity Games
Robin Piedeleu
In recent work, Watanabe, Eberhart, Asada, and Hasuo have shown that parity games can be seen as string diagrams, that is, as the morphisms of a symmetric monoidal category, an alg…