Deriving Probability Density Functions from Probabilistic Functional Programs

Sooraj Bhat, Johannes Borgström, Andrew D. Gordon +1

The probability density function of a probability distribution is a fundamental concept in probability theory and a key ingredient in various widely used machine learning methods.…