Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring
Venture: a higher-order probabilistic programming platform with programmable inference