Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring.

We present a logical relation for proving contextual equivalence in a probabilistic programming language (PPL) with continuous random variables and with a scoring operation for expressing observations and soft constraints.