Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring
No abstract available.
Related papers
- Contextual equivalence for a probabilistic language with continuous random variables and recursion ICFP 2018
- Reasoning about "reasoning about reasoning": semantics and contextual equivalence for probabilistic programs with nested queries and recursion POPL 2022
- Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time POPL 2020
- Continualization of Probabilistic Programs With Correction ESOP 2020
- Refuting Equivalence in Probabilistic Programs with Conditioning TACAS 2025
- λPSI: exact inference for higher-order probabilistic programs PLDI 2020
- Approximate Relational Reasoning for Higher-Order Probabilistic Programs POPL 2025
- Asynchronous Probabilistic Couplings in Higher-Order Separation Logic POPL 2024