Causal Probabilistic Programming via Magmadic Do-Notation

2026-09-02

AI Summary

本文引入了一种基于非结合monad的do-记号元语言，用于解决因果概率编程问题，并从中推导出因果概率编程结构。

Abstract

We introduce a do-notation metalanguage for causal probabilistic programming. The metalanguage is based on magmads: non-associative monads. We derive causal probabilistic programming constructs from non-associativity and the primitives of probabilistic programming.

Problem

• causal probabilistic programming
• do-notation
• magmads

Innovation

• causal probabilistic programming
• do-notation
• magmads
• non-associative monads