Compositional Semantics for Probabilistic Programs with Exact Conditioning

27 January 2021

Papers citing "Compositional Semantics for Probabilistic Programs with Exact Conditioning"

4 / 4 papers shown

Title
Logic Explanation of AI Classifiers by Categorical Explaining Functors S. Fioravanti Francesco Giannini Paolo Frazzetto Fabio Zanasi Pietro Barbiero 86 0 0 20 Mar 2025
Exact and Efficient Bayesian Inference for Privacy Risk Quantification (Extended Version) Rasmus C. Rønneberg Raúl Pardo Andrzej Wasowski 20 0 0 31 Aug 2023
Categorical Foundations of Explainable AI: A Unifying Theory Pietro Barbiero S. Fioravanti Francesco Giannini Alberto Tonda Pietro Lio Elena Di Lavore XAI 70 2 0 27 Apr 2023
Dependent Bayesian Lenses: Categories of Bidirectional Markov Kernels with Canonical Bayesian Inversion Dylan Braithwaite Jules Hedges 94 3 0 29 Sep 2022