Coupling proofs are probabilistic product programs.
Gilles BartheBenjamin GrégoireJustin HsuPierre-Yves StrubPublished in: POPL (2017)
Keyphrases
- computer programs
- probabilistic model
- bayesian networks
- probabilistic logic
- life cycle
- data sets
- uncertain data
- probabilistic logic programs
- database
- equational theories
- formal proof
- probabilistic approaches
- control program
- probability theory
- theorem proving
- generative model
- high level
- website
- artificial intelligence
- genetic algorithm
- real time