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

16 citations · 17 across the 4 of their papers we have counts for

collaborators
Showing 2017Show all

1 paper · 1 filter

cs.LG2017★ 1 cited

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…