1 paper
Manuel Eberl, Johannes Hölzl, Tobias Nipkow
Bhat et al. developed an inductive compiler that computes density functions for probability spaces described by programs in a simple probabilistic functional language. In this work…