Universal Equivalence and Majority of Probabilistic Programs over Finite Fields.

Gilles Barthe Charlie Jacomme Steve Kremer

Published in: ACM Trans. Comput. Log. (2022)

Keyphrases

probabilistic model
computer vision
generative model
turing machine
uncertain data
probabilistic logic
automatic programming
machine learning
artificial intelligence
bayesian networks
data driven
conditional probabilities