Nicolas Wu

Bayesian Separation Logic: A Logical Foundation and Axiomatic Semantics for Probabilistic Programming

2026 · Proceedings of the ACM on Programming Languages

Bayesian probabilistic programming languages (BPPLs) let users denote statistical models as code while the interpreter infers the posterior distribution. The semantics of BPPLs are usually mathematically complex and unable to reason about desirable properties such …