Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring
Probabilistic Inference by Program Transformation in Hakaru (System Description)