Equivalence and Similarity Refutation for Probabilistic Programs.
Krishnendu ChatterjeeEhsan Kafshdar GoharshadyPetr NovotnýDorde ZikelicPublished in: CoRR (2024)
Keyphrases
- similarity measure
- bayesian networks
- theorem prover
- probabilistic model
- automatic programming
- generative model
- data driven
- probabilistic logic
- theorem proving
- belief networks
- similarity relations
- neural network
- similarity measurement
- computer programs
- similarity metric
- euclidean distance
- distance function
- distance measure
- uncertain data
- inductive inference
- semantic similarity
- similarity function
- structural similarity
- graphical models