2 papers
cs.LO2026
Compositional Inference for Bayesian Networks and Causality
Bart Jacobs, Márk Széles, Dario Stein
Inference is a fundamental reasoning technique in probability theory. When applied to a large joint distribution, it involves updating with evidence (conditioning) in one or more c…
math.CT2025
Combs, Causality and Contractions in Atomic Markov Categories
Dario Stein, Márk Széles
We present a counterexample showing that Markov categories with conditionals (such as BorelStoch) need not validate a natural scheme of axioms which we call contraction identities.…