Fabian Zaiser

14 papers A* 4Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops.
Proc. ACM Program. Lang.
Fabian Zaiser, Andrzej S. Murawski, C.-H. Luke Ong
2024 J jnl
Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops.
CoRR
Fabian Zaiser, Andrzej S. Murawski, C.-H. Luke Ong
2023 A* conf
Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach.
NeurIPS
Fabian Zaiser, Andrzej S. Murawski, Chih-Hao Luke Ong
2023 J jnl
Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach.
CoRR
Fabian Zaiser, Andrzej S. Murawski, Luke Ong
2022 J jnl
Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming.
CoRR
Raven Beutner, Luke Ong, Fabian Zaiser
2022 A* conf
Guaranteed bounds for posterior inference in universal probabilistic programming.
PLDI
Raven Beutner, C.-H. Luke Ong, Fabian Zaiser
2022 A* conf
Nonparametric Involutive Markov Chain Monte Carlo.
ICML
Carol Mak, Fabian Zaiser, Luke Ong
2022 J jnl
Nonparametric Involutive Markov Chain Monte Carlo.
CoRR
Carol Mak, Fabian Zaiser, Luke Ong
2021 — conf
Abstract: The Extended Theory of Trees and Algebraic (Co)datatypes.
SMT
Fabian Zaiser, Luke Ong
2021 A* conf
Nonparametric Hamiltonian Monte Carlo.
ICML
Carol Mak, Fabian Zaiser, Luke Ong
2021 J jnl
Nonparametric Hamiltonian Monte Carlo.
CoRR
Carol Mak, Fabian Zaiser, Luke Ong
2020 — conf
The Extended Theory of Trees and Algebraic (Co)datatypes.
VPT/HCVS@ETAPS
Fabian Zaiser, C.-H. Luke Ong
2020 J jnl
The approximation ratio of the 2-Opt Heuristic for the metric Traveling Salesman Problem.
Oper. Res. Lett.
Stefan Hougardy, Fabian Zaiser, Xianghui Zhong
2019 J jnl
The Approximation Ratio of the 2-Opt Heuristic for the Metric Traveling Salesman Problem.
CoRR
Stefan Hougardy, Fabian Zaiser, Xianghui Zhong