Picture for Luke Ong

Luke Ong

Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems

Apr 02, 2024
Viaarxiv icon

Rethinking Variational Inference for Probabilistic Programs with Stochastic Support

Add code
Nov 01, 2023
Viaarxiv icon

Beyond Bayesian Model Averaging over Paths in Probabilistic Programs with Stochastic Support

Add code
Oct 23, 2023
Viaarxiv icon

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

Add code
May 26, 2023
Figure 1 for Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach
Figure 2 for Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach
Figure 3 for Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach
Figure 4 for Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach
Viaarxiv icon

Nonparametric Involutive Markov Chain Monte Carlo

Add code
Nov 02, 2022
Viaarxiv icon

Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming

Add code
Apr 06, 2022
Figure 1 for Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming
Figure 2 for Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming
Figure 3 for Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming
Figure 4 for Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming
Viaarxiv icon

Nonparametric Hamiltonian Monte Carlo

Add code
Jun 18, 2021
Figure 1 for Nonparametric Hamiltonian Monte Carlo
Figure 2 for Nonparametric Hamiltonian Monte Carlo
Figure 3 for Nonparametric Hamiltonian Monte Carlo
Figure 4 for Nonparametric Hamiltonian Monte Carlo
Viaarxiv icon

Expectation Programming

Add code
Jun 09, 2021
Figure 1 for Expectation Programming
Figure 2 for Expectation Programming
Figure 3 for Expectation Programming
Figure 4 for Expectation Programming
Viaarxiv icon

A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation

Add code
Feb 19, 2020
Figure 1 for A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation
Figure 2 for A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation
Figure 3 for A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation
Viaarxiv icon