44 citations · 45 across the 6 of their papers we have counts for
3 papers · 1 filter
An improved column-generation-based matheuristic for learning classification trees
Krunal Kishor Patel, Guy Desaulniers, Andrea Lodi
Decision trees are highly interpretable models for solving classification problems in machine learning (ML). The standard ML algorithms for training decision trees are fast but gen…
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…
The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification
Christian Tjandraatmadja, Ross Anderson, Joey Huchette +3
We improve the effectiveness of propagation- and linear-optimization-based neural network verification algorithms with a new tightened convex relaxation for ReLU neurons. Unlike pr…