Probabilistic programming with exact conditions

DOI10.1145/3632170MaRDI QIDQ7031995zbMATH OpenFDO

Authors Dario Stein, Sam Staton

Publication date 5 February 2025

Published in Journal of the ACM (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1145/3632170

zbMATH Keywords

categorical probability theoryexact conditioningprobabilistic programming

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Cites work

• A channel-based perspective on conjugate priors
• A survey of graphical languages for monoidal categories
• A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
• Algebraic foundations for effect-dependent optimisations
• An algebraic presentation of predicate logic (extended abstract)
• Bennett and Stinespring, together at last
• Categories in control
• Commutative semantics for probabilistic programming
• Compositional semantics for probabilistic programs with exact conditioning
• Disintegration and Bayesian inversion via string diagrams
• Exact Bayesian inference by symbolic disintegration
• Foundations of Modern Probability
• Generic models for computational effects
• Graphical affine algebra
• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 5546942 (Why is no real title available?)
• scientific article; zbMATH DE number 3764843 (Why is no real title available?)
• scientific article; zbMATH DE number 2087428 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Infinite products and zero-one laws in categorical probability
• Kantorovich problems and conditional measures depending on a parameter
• Modelling environments in call-by-value programming languages.
• Monoidal indeterminates and categories of possible worlds
• Notions of computation and monads
• Premonoidal categories and notions of computation
• Probabilistic (logic) programming concepts
• Probability Theory
• The beta-Bernoulli process and algebraic effects
• The calculus of signal flow diagrams. I: Linear relations on streams.
• The geometry of tensor calculus. I
• The Schur complement and its applications
• Universal Properties in Quantum Theory

Cited in

(4)

• Graphical quadratic algebra
• Diagrammatic algebra of first order logic
• Tapes as stochastic matrices of string diagrams
• Graphical quadratic algebra: a complete calculus for convex optimisation and Gaussian probability

This page was built for publication: Probabilistic programming with exact conditions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7031995)