| 2026 | AAAI | Conformal Prediction Meets Long-tail Classification. | Shuqi Liu, Jianguo Huang, Luke Ong |
| 2026 | ACL | Spectra: A Mechanistic Interpretability Library for Vision-Language Models. | Clement Neo, Yongsen Zheng, Kwok-Yan Lam, Luke Ong |
| 2025 | ICLR | Towards Interpreting Visual Information Processing in Vision-Language Models. | Clement Neo, Luke Ong, Philip Torr, Mor Geva, David Krueger, Fazl Barez |
| 2024 | AISTATS | Beyond Bayesian Model Averaging over Paths in Probabilistic Programs with Stochastic Support. | Tim Reichelt, Luke Ong, Tom Rainforth |
| 2024 | AISTATS | Diagonalisation SGD: Fast & Convergent SGD for Non-Differentiable Models via Reparameterisation and Smoothing. | Dominik Wagner, Basim Khajwal, Luke Ong |
| 2022 | ICML | Nonparametric Involutive Markov Chain Monte Carlo. | Carol Mak, Fabian Zaiser, Luke Ong |
| 2022 | LICS | Probabilistic Verification Beyond Context-Freeness. | Guanyan Li, Andrzej S. Murawski, Luke Ong |
| 2022 | UAI | Expectation programming: Adapting probabilistic programming systems to estimate expectations efficiently. | Tim Reichelt, Adam Golinski, Luke Ong, Tom Rainforth |
| 2021 | ICML | Nonparametric Hamiltonian Monte Carlo. | Carol Mak, Fabian Zaiser, Luke Ong |
| 2021 | LICS | Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses. | Toby Cathcart Burn, Luke Ong, Steven J. Ramsay, Dominik Wagner |
| 2021 | PLDI | On probabilistic termination of functional programs with continuous distributions. | Raven Beutner, Luke Ong |
| 2015 | LICS | Higher-Order Model Checking: An Overview. | Luke Ong |
| 2014 | KR | EGuaranteeNash for Boolean Games Is NEXP-Hard. | Egor Ianovski, Luke Ong |
| 2013 | LATA | Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking. | Luke Ong |