140 citations · 179 across the 4 of their papers we have counts for
9 papers
Gradients without Backpropagation
Atılım Güneş Baydin, Barak A. Pearlmutter, Don Syme +2
Using backpropagation to compute gradients of objective functions for optimization has remained a mainstay of machine learning. Backpropagation, or reverse-mode differentiation, is…
Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition
Alessandro De Palma, Rudy Bunel, Alban Desmaison +4
We improve the scalability of Branch and Bound (BaB) algorithms for formally proving input-output properties of neural networks. First, we propose novel bounding algorithms based o…
Simulation-Based Inference for Global Health Decisions
Christian Schroeder de Witt, Bradley Gram-Hansen, Nantas Nardelli +8
The COVID-19 pandemic has highlighted the importance of in-silico epidemiological modelling in predicting the dynamics of infectious diseases to inform health policy and decision m…
Lagrangian Decomposition for Neural Network Verification
Rudy Bunel, Alessandro De Palma, Alban Desmaison +4
A fundamental component of neural network verification is the computation of bounds on the values their outputs can take. Previous methods have either used off-the-shelf solvers, d…
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…