Stein, Dario
- Absolute continuity, supports and idempotent splitting in categorical probability
2023/08/01 by T. A. Fritz, Tomáš Gonda, Fritz, Tobias +7 · 4 citations
Computer Science · Mathematics · #Bayesian Modeling and Causal Inference #Advanced Algebra and Logic #Advanced Topology and Set Theory
- Dilations and information flow axioms in categorical probability
2022/11/04 by T. A. Fritz, Tomáš Gonda, Fritz, Tobias +9 · 2 citations
Computer Science · Social Sciences · #03B70 #18D10 #18M05 #60A05 #68Q55 #Access Control and Trust #Category Theory (math.CT) #Distributed systems and fault tolerance #FOS: Computer and information sciences #FOS: Mathematics #Information Theory (cs.IT) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Probability (math.PR)
- Graphical Quadratic Algebra
2024/03/04 by Dario Stein, Stein, Dario, Fabio Zanasi +5 · 4 citations
Computer Science · Mathematics · #Matrix Theory and Algorithms #Mathematics and Applications #Polynomial and algebraic computation
- Compositional Semantics for Probabilistic Programs with Exact Conditioning
2021/01/27 by Dario Stein, Stein, Dario, Sam Staton +1 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Category Theory (math.CT) #F.3.2 #FOS: Computer and information sciences #FOS: Mathematics #G.3 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Probability (math.PR) #Programming Languages (cs.PL)
- A Category for unifying Gaussian Probability and Nondeterminism
2022/04/29 by Stein, Dario, Samuelson, Richard · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)