Publications

Dominik Wagner, Basim Khajwal, C.-H. Luke Ong (2024). Diagonalisation SGD: Fast & Convergent SGD for Non-Differentiable Models via Reparameterisation and Smoothing. AISTATS.

Basim Khajwal, C.-H. Luke Ong, Dominik Wagner (2023). Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing. ESOP.

DPhil (PhD) Thesis (2023). Fast and Correct Variational Inference for Probabilistic Programming: Differentiability, Reparameterisation and Smoothing. University of Oxford.

Carol Mak, C.-H. Luke Ong, Hugo Paquet, Dominik Wagner (2021). Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere. ESOP.

PDF Slides Video

Toby Cathcart Burn, C.-H. Luke Ong, Steven Ramsay, Dominik Wagner (2021). Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses. LICS.

C.-H. Luke Ong, Dominik Wagner (2019). HoCHC: a Refutationally-complete and Semantically-invariant System of Higher-order Logic Modulo Theories. LICS.

Master’s Thesis (2018). Resolution for Higher−Order Constrained Horn Clauses. University of Oxford.

Bachelor’s Thesis (2017). Design and Implementation of a CDCL(LA) Calculus. Saarland University.