activity
20202025
most citedThe Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification

44 citations · 45 across the 6 of their papers we have counts for

collaborators
Showing 2022Show all

1 paper · 1 filter

cs.LG2022

Explainable prediction of Qcodes for NOTAMs using column generation

Krunal Kishor Patel, Guy Desaulniers, Andrea Lodi +1

A NOtice To AirMen (NOTAM) contains important flight route related information. To search and filter them, NOTAMs are grouped into categories called QCodes. In this paper, we devel…