LazyPPL: laziness and types in non-parametric probabilistic programs

no code implementations • NeurIPS Workshop AIPLANS 2021 • Hugo Paquet, Sam Staton

We introduce LazyPPL, a prototype probabilistic programming library for Haskell.

Clustering Gaussian Processes +2

Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere

no code implementations • 8 Apr 2020 • Carol Mak, C. -H. Luke Ong, Hugo Paquet, Dominik Wagner

We give SPCF a sampling-style operational semantics a la Borgstrom et al., and study the associated weight (commonly referred to as the density) function and value function on the set of possible execution traces.