Fabian Zaiser

According to our database, Fabian Zaiser authored at least 7 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach.

Fabian Zaiser, Andrzej S. Murawski, Chih-Hao Luke Ong

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2022

Guaranteed bounds for posterior inference in universal probabilistic programming.

Raven Beutner, C.-H. Luke Ong, Fabian Zaiser

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Nonparametric Involutive Markov Chain Monte Carlo.

Carol Mak, Fabian Zaiser, Luke Ong

Proceedings of the International Conference on Machine Learning, 2022

2021

Abstract: The Extended Theory of Trees and Algebraic (Co)datatypes.

Fabian Zaiser, Luke Ong

Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), 2021

Nonparametric Hamiltonian Monte Carlo.

Carol Mak, Fabian Zaiser, Luke Ong

Proceedings of the 38th International Conference on Machine Learning, 2021

2020

The approximation ratio of the 2-Opt Heuristic for the metric Traveling Salesman Problem.

Stefan Hougardy, Fabian Zaiser, Xianghui Zhong

Oper. Res. Lett., 2020

The Extended Theory of Trees and Algebraic (Co)datatypes.

Fabian Zaiser, C.-H. Luke Ong

Proceedings of the Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, 2020