10 citations · 57 across the 21 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.PL2020
Probabilistic Programming Semantics for Name Generation
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 $ν…
math.GT2020★ 5 cited
Unicorn paths and hyperfiniteness for the mapping class group
Piotr Przytycki, Marcin Sabok
Let S be an orientable surface of finite type. Using Pho-On's infinite unicorn paths, we prove the hyperfiniteness of orbit equivalence relations induced by the actions of the mapp…