The Extended Theory of Trees and Algebraic (Co)datatypes. - Fabian Zaiser; C.-H. Luke Ong (VPT/HCVS@ETAPS, 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)

Nonparametric Hamiltonian Monte Carlo. - Carol Mak; Fabian Zaiser; Luke Ong (ICML, 2021)

Abstract: The Extended Theory of Trees and Algebraic (Co)datatypes. - Fabian Zaiser; Luke Ong (SMT, 2021)

Nonparametric Involutive Markov Chain Monte Carlo. - Carol Mak; Fabian Zaiser; Luke Ong (ICML, 2022)

Guaranteed bounds for posterior inference in universal probabilistic programming. - Raven Beutner; C.-H. Luke Ong; Fabian Zaiser (PLDI, 2022)

Artifact for: Rigorous bounds for posterior inference in universal probabilistic programming (PLDI 2022). - Raven Beutner; Luke Ong; Fabian Zaiser (Zenodo, 2022)

Artifact for: Rigorous bounds for posterior inference in universal probabilistic programming (PLDI 2022). - Raven Beutner; Luke Ong; Fabian Zaiser (Zenodo, 2022)

Artifact for: Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming (PLDI 2022). - Raven Beutner; Luke Ong; Fabian Zaiser (Zenodo, 2022)

Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach. - Fabian Zaiser; Andrzej S. Murawski; Chih-Hao Luke Ong (NeurIPS, 2023)

Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops. - Fabian Zaiser; Andrzej S. Murawski; C.-H. Luke Ong (Proc. ACM Program. Lang., 2025)