activity
20172024
most citedImproved Branch and Bound for Neural Network Verification via Lagrangian Decomposition

16 citations · 18 across the 5 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

cs.LG2019

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…