Densities of almost-surely terminating probabilistic programs are differentiable almost everywhere.
Carol MakC.-H. Luke OngHugo PaquetDominik WagnerPublished in: CoRR (2020)
Keyphrases
- bayesian networks
- objective function
- probabilistic model
- data driven
- probabilistic logic
- probabilistic reasoning
- neural network
- high level
- generative model
- computer programs
- probabilistic relational
- databases
- control structures
- automatic programming
- programming environment
- probability theory
- context sensitive
- posterior probability
- information theoretic
- probability distribution
- search engine