
Bayesian Policy Search for Stochastic Domains
AI planning can be cast as inference in probabilistic models, and probab...
read it

Probabilistic Programs with Stochastic Conditioning
We propose to distinguish between deterministic conditioning, that is, c...
read it

On Correctness of Automatic Differentiation for NonDifferentiable Functions
Differentiation lies at the core of many machinelearning algorithms, an...
read it

Stochastically Differentiable Probabilistic Programs
Probabilistic programs with mixed support (both continuous and discrete ...
read it

Differentiable Algorithm for Marginalising Changepoints
We present an algorithm for marginalising changepoints in timeseries mo...
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

Towards Verified Stochastic Variational Inference for Probabilistic Programs
Probabilistic programming is the idea of writing models from statistics ...
read it

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

A Generalization of Hierarchical Exchangeability on Trees to Directed Acyclic Graphs
Motivated by problems in Bayesian nonparametrics and probabilistic progr...
read it

An Introduction to Probabilistic Programming
This document is designed to be a firstyear graduatelevel introduction...
read it

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

Reparameterization Gradient for Nondifferentiable Models
We present a new algorithm for stochastic variational inference that tar...
read it

Discontinuous Hamiltonian Monte Carlo for Probabilistic Programs
Hamiltonian Monte Carlo (HMC) is the dominant statistical inference algo...
read it

The BetaBernoulli process and algebraic effects
In this paper we analyze the BetaBernoulli process from Bayesian nonpar...
read it

Denotational validation of higherorder Bayesian inference
We present a modular semantic account of Bayesian inference algorithms f...
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

A Convenient Category for HigherOrder Probability Theory
Higherorder probabilistic programming languages allow programmers to wr...
read it

Spreadsheet Probabilistic Programming
Spreadsheet workbook contents are simple programs. Because of this, prob...
read it

Semantics for probabilistic programming: higherorder functions, continuous distributions, and soft constraints
We study the semantic foundation of expressive probabilistic programming...
read it

Particle Gibbs with Ancestor Sampling for Probabilistic Programs
Particle Markov chain Monte Carlo techniques rank among current stateof...
read it
Hongseok Yang
is this you? claim profile