2 citations · 2 across the 2 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…