Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere.
Carol MakC.-H. Luke OngHugo PaquetDominik WagnerPublished in: ESOP (2021)
Keyphrases
- probabilistic model
- uncertain data
- bayesian networks
- belief networks
- posterior probability
- objective function
- probability density function
- real time
- neural network
- probability distribution
- automatic programming
- fixpoint
- probabilistic reasoning
- case study
- artificial intelligence
- data mining
- real world
- databases
- data sets