Best Probabilistic Transformers
Abstract elided by the publisher.
Related papers
- Tabular: a schema-driven probabilistic programming language POPL 2014
- Reasoning about Probabilistic Parallel Programs TOPLAS 1994
- GradInf: Gradient Estimation as Probabilistic Inference PLDI 2026
- Probabilistic Predicate Transformers TOPLAS 1996
- Symbolic Implementation of the Best Transformer VMCAI 2004
- Probabilistically Accurate Program Transformations SAS 2011
- Exact Recursive Probabilistic Programming OOPSLA 2023
- Stochastic lambda calculus and monads of probability distributions POPL 2002