most citedEquivalence and Similarity Refutation for Probabilistic Programs

2 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2024★ 2 cited

Equivalence and Similarity Refutation for Probabilistic Programs

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

We consider the problems of statically refuting equivalence and similarity of output distributions defined by a pair of probabilistic programs. Equivalence and similarity are two f…