1 citations · 1 across the 1 of their papers we have counts for
3 papers
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…
Sampling Acquisition Functions for Batch Bayesian Optimization
Alessandro De Palma, Celestine Mendler-Dünner, Thomas Parnell +2
We present Acquisition Thompson Sampling (ATS), a novel technique for batch Bayesian Optimization (BO) based on the idea of sampling multiple acquisition functions from a stochasti…
Distributed Stratified Locality Sensitive Hashing for Critical Event Prediction in the Cloud
Alessandro De Palma, Erik Hemberg, Una-May O'Reilly
The availability of massive healthcare data repositories calls for efficient tools for data-driven medicine. We introduce a distributed system for Stratified Locality Sensitive Has…