Colored Markov polycategories provide typed compositional semantics for stochastic systems and support diagrammatic differentiation of expected scalar objectives via local gradients at parameterized vertices.
Disintegration and Bayesian inversion via string diagrams
2 Pith papers cite this work, alongside 72 external citations. Polarity classification is still indexing.
2
Pith papers citing it
72
external citations · Crossref
years
2026 2verdicts
UNVERDICTED 2representative citing papers
ULLER's three independent semantics are unified as instances of monads, enabling modular addition of new semantics and translations between them.
citing papers explorer
-
NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
ULLER's three independent semantics are unified as instances of monads, enabling modular addition of new semantics and translations between them.