Registered user since Sat 24 Jul 2021
Name:Yuan Zhou
Affiliation:University of Oxford
Contributions
LAFI 2020 | Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2020-profile
View general profile
View general profile