Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring
A New Approach to Probabilistic Programming Inference