Guaranteed Inference for Probabilistic Programs: A Parallelisable, Small-Step Operational Approach
No abstract available.
Related papers
- A lambda-calculus foundation for universal probabilistic programming ICFP 2016
- Type-Preserving, Dependence-Aware Guide Generation for Sound, Effective Amortized Probabilistic Inference POPL 2023
- Lambda calculus with algebraic simplification for reduction parallelisation: Extended study JFP 2021
- Program verification as probabilistic inference POPL 2007
- Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving PLDI 2024
- Probabilistic Programming with Stochastic Probabilities PLDI 2023
- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference CAV 2021
- Reasoning about "reasoning about reasoning": semantics and contextual equivalence for probabilistic programs with nested queries and recursion POPL 2022