Universal equivalence and majority of probabilistic programs over finite fields.
Gilles BartheCharlie JacommeSteve KremerPublished in: LICS (2020)
Keyphrases
- probabilistic model
- bayesian networks
- generative model
- turing machine
- uncertain data
- computer vision
- database
- fixpoint
- sequence prediction
- probabilistic reasoning
- probabilistic logic programs
- membership and equivalence queries
- automatic programming
- finite automata
- datalog programs
- hidden markov models
- genetic algorithm