Refuting Equivalence in Probabilistic Programs with Conditioning

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný +1

We consider the problem of refuting equivalence of probabilistic programs, i.e., the problem of proving that two probabilistic programs induce different output distributions. We st…