Not registered as user yet

Name:Raven Beutner
Affiliation:CISPA Helmholtz Center for Information Security, Germany

Contributions

LAFI 2022 Rigorous Approximation of Posterior Inference for Probabilistic Programs
Show activities from other conferences

POPL 2022-profile
View general profile