GaussED: A Probabilistic Programming Language for Sequential Experimental Design

10/15/2021
by   Matthew A Fisher, et al.
0

Sequential algorithms are popular for experimental design, enabling emulation, optimisation and inference to be efficiently performed. For most of these applications bespoke software has been developed, but the approach is general and many of the actual computations performed in such software are identical. Motivated by the diverse problems that can in principle be solved with common code, this paper presents GaussED, a simple probabilistic programming language coupled to a powerful experimental design engine, which together automate sequential experimental design for approximating a (possibly nonlinear) quantity of interest in Gaussian processes models. Using a handful of commands, GaussED can be used to: solve linear partial differential equations, perform tomographic reconstruction from integral data and implement Bayesian optimisation with gradient data.

READ FULL TEXT

page 8

page 9

page 28

page 29

research
03/03/2014

A Compilation Target for Probabilistic Programming Languages

Forward inference techniques such as sequential Monte Carlo and particle...
research
09/13/2020

Optimal Bounds on Nonlinear Partial Differential Equations in Model Certification, Validation, and Experimental Design

We demonstrate that the recently developed Optimal Uncertainty Quantific...
research
10/13/2020

Probabilistic simulation of partial differential equations

Computer simulations of differential equations require a time discretiza...
research
06/15/2021

Black Box Probabilistic Numerics

Probabilistic numerics casts numerical tasks, such the numerical solutio...
research
01/09/2023

Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing

We study the foundations of variational inference, which frames posterio...
research
09/10/2020

Disjunctive Delimited Control

Delimited control is a powerful mechanism for programming language exten...
research
09/17/2017

AI Programmer: Autonomously Creating Software Programs Using Genetic Algorithms

In this paper, we present the first-of-its-kind machine learning (ML) sy...

Please sign up or login with your details

Forgot password? Click here to reset