23 citations · 23 across the 4 of their papers we have counts for
1 paper · 1 filter
Marcin Sabok, Sam Staton, Dario Stein +1
We make a formal analogy between random sampling and fresh name generation. We show that quasi-Borel spaces, a model for probabilistic programming, can soundly interpret Stark's $ν…