
A Unified Stochastic Gradient Approach to Designing BayesianOptimal Experiments
We introduce a fully stochastic gradient based approach to Bayesian opti...
read it

Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support
Universal probabilistic programming systems (PPSs) provide a powerful an...
read it

On Exploration, Exploitation and Learning in Adaptive Importance Sampling
We study adaptive importance sampling (AIS) as an online learning proble...
read it

Variational Estimators for Bayesian Optimal Experimental Design
Bayesian optimal experimental design (BOED) is a principled framework fo...
read it

LFPPL: A LowLevel First Order Probabilistic Programming Language for NonDifferentiable Models
We develop a new Lowlevel, Firstorder Probabilistic Programming Langua...
read it

Amortized Rejection Sampling in Universal Probabilistic Programming
Existing approaches to amortized inference in probabilistic programs wit...
read it

Disentangling Disentanglement
We develop a generalised notion of disentanglement in Variational AutoE...
read it

On the Fairness of Disentangled Representations
Recently there has been a significant interest in learning disentangled ...
read it

Hijacking Malaria Simulators with Probabilistic Programming
Epidemiology simulations have become a fundamental tool in the fight aga...
read it

Inference Trees: Adaptive Inference with Exploration
We introduce inference trees (ITs), a new class of inference methods tha...
read it

Amortized Monte Carlo Integration
Current approaches to amortizing Bayesian inference focus solely on appr...
read it

AutoEncoding Sequential Monte Carlo
We introduce AESMC: a method for using deep neural networks for simultan...
read it

Probabilistic structure discovery in time series data
Existing methods for structure discovery in time series data construct i...
read it

Interacting Particle Markov Chain Monte Carlo
We introduce interacting particle Markov chain Monte Carlo (iPMCMC), a P...
read it

Bayesian Optimization for Probabilistic Programs
We present the first general purpose framework for marginal maximum a po...
read it

Tighter Variational Bounds are Not Necessarily Better
We provide theoretical and empirical evidence that using tighter evidenc...
read it

On the Opportunities and Pitfalls of Nesting Monte Carlo Estimators
We present a formalization of nested Monte Carlo (NMC) estimation, where...
read it

Nesting Probabilistic Programs
We formalize the notion of nesting probabilistic programming queries and...
read it

Statistical Verification of Neural Networks
We present a new approach to neural network verification based on estima...
read it

Variational Bayesian Optimal Experimental Design
Bayesian optimal experimental design (BOED) is a principled framework fo...
read it

Statistically Robust Neural Network Classification
Recently there has been much interest in quantifying the robustness of n...
read it

A note on blind contact tracing at scale with applications to the COVID19 pandemic
The current COVID19 pandemic highlights the utility of contact tracing,...
read it
Tom Rainforth
verfied profile