conf.researchr.org / Fabian Zaiser
Fabian Zaiser

Registered user since Mon 14 Dec 2020

Name:Fabian Zaiser
Affiliation:University of Oxford
Personal website:https://www.cs.ox.ac.uk/people/fabian.zaiser/
Research interests:Probabilistic Programming, Verification

Contributions

PLDI 2022 Author of Guaranteed bounds for posterior inference in universal probabilistic programming within the PLDI-track
LAFI 2022 Author of Nonparametric Involutive Markov Chain Monte Carlo within the LAFI-track
Author of Rigorous Approximation of Posterior Inference for Probabilistic Programs within the LAFI-track
LAFI 2021 Author of Binary Tree Hamiltonian Monte Carlo within the LAFI 2021-track