140 citations · 526 across the 24 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LG2020
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…
cs.LG2020★ 8 cited
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…