Equivalence and Similarity Refutation for Probabilistic Programs.
Krishnendu ChatterjeeEhsan Kafshdar GoharshadyPetr NovotnýDorde ZikelicPublished in: Proc. ACM Program. Lang. (2024)
Keyphrases
- similarity measure
- theorem proving
- bayesian networks
- distance measure
- automatic programming
- computer programs
- generative model
- similarity measurement
- image segmentation
- similarity metrics
- fixpoint
- structural similarity
- probabilistic reasoning
- theorem prover
- uncertain data
- probabilistic model
- edit distance
- dissimilarity measure
- semantic similarity
- inductive inference
- posterior probability
- conditional probabilities
- similarity function
- euclidean distance
- distance function
- information systems
- probabilistic logic programs