Luke Ong
University of Oxford
H-index: 35
Europe-United Kingdom
Top articles of Luke Ong
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Diagonalisation SGD: Fast & Convergent SGD for Non-Differentiable Models via Reparameterisation and Smoothing | Dominik Wagner Basim Khajwal Luke Ong | 2024/4/18 | |
Beyond Bayesian Model Averaging over Paths in Probabilistic Programs with Stochastic Support | Tim Reichelt Luke Ong Tom Rainforth | 2024/4/18 | |
Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems | arXiv preprint arXiv:2404.01769 | Dapeng Zhi Peixin Wang Si Liu Luke Ong Min Zhang | 2024/4/2 |
Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach | Advances in Neural Information Processing Systems | Fabian Zaiser Andrzej Murawski Chih-Hao Luke Ong | 2024/2/13 |
Template-Based Static Posterior Inference for Bayesian Probabilistic Programming | arXiv preprint arXiv:2307.13160 | Peixin Wang Hongfei Fu Tengshun Yang Guanyan Li Luke Ong | 2023/7/24 |
Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing | Basim Khajwal C-H Luke Ong Dominik Wagner | 2023/4/17 | |
Static Analysis of Posterior Inference in Bayesian Probabilistic Programming | Peixin Wang Hongfei Fu Tengshun Yang Guanyan Li Luke Ong | 2023/3/10 | |
Probabilistic Verification Beyond Context-Freeness | Guanyan Li Andrzej Murawski Luke Ong | 2022/8/2 | |
Nonparametric Involutive Markov Chain Monte Carlo | Carol Mak Fabian Zaiser Luke Ong | 2022/6/28 | |
Cycleq: an efficient basis for cyclic equational reasoning | Eddie Jones C-H Luke Ong Steven Ramsay | 2022/6/9 | |
Guaranteed bounds for posterior inference in universal probabilistic programming | Raven Beutner C-H Luke Ong Fabian Zaiser | 2022/6/9 | |
Rethinking Variational Inference for Probabilistic Programs with Stochastic Support | Tim Reichelt Luke Ong Tom Rainforth | 2022 | |
Expectation programming: Adapting probabilistic programming systems to estimate expectations efficiently | Tim Reichelt Adam Goliński Luke Ong Tom Rainforth | 2022/8/17 | |
Densities of almost surely terminating probabilistic programs are differentiable almost everywhere | Carol Mak C-H Luke Ong Hugo Paquet Dominik Wagner | 2021 | |
Initial limit Datalog: a new extensible class of decidable constrained Horn clauses | Toby Cathcart Burn CH Ong Steven Ramsay Dominik Wagner | 2021/7/7 | |
Nonparametric hamiltonian monte carlo | Carol Mak Fabian Zaiser Luke Ong | 2021/7/1 | |
Supermartingales, ranking functions and probabilistic lambda calculus | Andrew Kenyon-Roberts C-H Luke Ong | 2021/6/29 | |
On probabilistic termination of functional programs with continuous distributions | Raven Beutner Luke Ong | 2021/6/19 | |
Higher-order recursion schemes and collapsible pushdown automata: Logical properties | ACM Transactions on Computational Logic (TOCL) | Christopher H Broadbent Arnaud Carayol C-H Luke Ong Olivier Serre | 2021/5/15 |
Collapsible pushdown parity games | ACM Transactions on Computational Logic (TOCL) | Christopher H Broadbent Arnaud Carayol Matthew Hague Andrzej S Murawski C-H Luke Ong | 2021/7/22 |