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

zbMATH Keywords

probabilistic programmingexact conditioningcategorical probability theory

Mathematics Subject Classification ID

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

Cites work

• 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?)
• 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
• 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 Schur complement and its applications
• The beta-Bernoulli process and algebraic effects
• The calculus of signal flow diagrams. I: Linear relations on streams.
• The geometry of tensor calculus. I
• Universal Properties in Quantum Theory

Cited in

(2)

• Diagrammatic algebra of first order logic
• Graphical quadratic algebra

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)