140 citations · 526 across the 24 of their papers we have counts for
4 papers · 1 filter
Amortized Rejection Sampling in Universal Probabilistic Programming
Saeid Naderiparizi, Adam Ścibior, Andreas Munk +9
Naive approaches to amortized inference in probabilistic programs with unbounded loops can produce estimators with infinite variance. This is particularly true of importance sampli…
Branch and Bound for Piecewise Linear Neural Network Verification
Rudy Bunel, Jingyue Lu, Ilker Turkaslan +3
The success of Deep Learning and its potential use in many safety-critical applications has motivated research on formal verification of Neural Network (NN) models. In this context…
Etalumis: Bringing Probabilistic Programming to Scientific Simulators at Scale
Atılım Güneş Baydin, Lei Shao, Wahid Bhimji +14
Probabilistic programming languages (PPLs) are receiving widespread attention for performing Bayesian inference in complex generative models. However, applications to science remai…
Hijacking Malaria Simulators with Probabilistic Programming
Bradley Gram-Hansen, Christian Schröder de Witt, Tom Rainforth +3
Epidemiology simulations have become a fundamental tool in the fight against the epidemics of various infectious diseases like AIDS and malaria. However, the complicated and stocha…