9 citations · 22 across the 10 of their papers we have counts for
1 paper · 1 filter
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…