Yuan Zhou -

Registered user since Sat 24 Jul 2021

Name:Yuan Zhou

Country:United Kingdom

Affiliation:University of Oxford

Research interests:Probabilistic Programming, Machine Learning

Contributions

2024

APSEC

Author of Sound Floating-Point Neural Network Verification with MILP within the Technical Track-track

2022

LAFI

Committee Member in Program Committee within the LAFI-track

2021

ESEC/FSE

Author of Symbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis within the Research Papers-track

2020

LAFI

Author of Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support within the LAFI (né PPS)-track