Pusℍ: Concurrent Probabilistic Programming with Function Spaces

06/10/2023
by   Daniel Huang, et al.
0

We introduce a prototype probabilistic programming language (PPL) called Pusℍ for performing Bayesian inference on function spaces with a focus on Bayesian deep learning (BDL). We describe the core abstraction of Pusℍ based on particles that links models, specified as neural networks (NNs), with inference, specified as procedures on particles using a programming model inspired by message passing. Finally, we test Pusℍ on a variety of models and datasets used in scientific machine learning (SciML), a domain with natural function space inference problems, and we evaluate scaling of Pusℍ on single-node multi-GPU devices. Thus we explore the combination of probabilistic programming, NNs, and concurrency in the context of Bayesian inference on function spaces. The code can be found at https://github.com/lbai-lab/PusH.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/08/2018

A Factor Graph Approach to Automated Design of Bayesian Signal Processing Algorithms

The benefits of automating design cycles for Bayesian inference-based al...
research
06/12/2019

Exploring Bayesian approaches to eQTL mapping through probabilistic programming

The discovery of genomic polymorphisms influencing gene expression (also...
research
04/26/2022

Designing Perceptual Puzzles by Differentiating Probabilistic Programs

We design new visual illusions by finding "adversarial examples" for pri...
research
12/21/2017

Improvements to Inference Compilation for Probabilistic Programming in Large-Scale Scientific Simulators

We consider the problem of Bayesian inference in the family of probabili...
research
05/28/2020

Inferring Signaling Pathways with Probabilistic Programming

Cells regulate themselves via dizzyingly complex biochemical processes c...
research
05/01/2022

Dynamic Programming in Rank Space: Scaling Structured Inference with Low-Rank HMMs and PCFGs

Hidden Markov Models (HMMs) and Probabilistic Context-Free Grammars (PCF...
research
09/21/2016

Semiring Programming: A Framework for Search, Inference and Learning

To solve hard problems, AI relies on a variety of disciplines such as lo...

Please sign up or login with your details

Forgot password? Click here to reset