← Search

Javier Burroni

5 accepted papers

2023

Automatically marginalized MCMC in probabilistic programming

ICML 2023poster

Hamiltonian Monte Carlo (HMC) is a powerful algorithm to sample latent variables from Bayesian models. The advent of probabilistic programming languages (PPLs) frees users from writing inference algorithms and lets users focus on modeling. However, many models are difficult for HMC to solve directly…

2019

Predicate Exchange: Inference with Declarative Knowledge

ICML 2019oral

Programming languages allow us to express complex predicates, but existing inference methods are unable to condition probabilistic models on most of them. To support a broader class of predicates, we develop an inference procedure called predicate exchange, which softens predicates. A soft predicate…

Cited by 4SourcePDFScholar