2 papers
cs.LG2022
Neural Network Verification as Piecewise Linear Optimization: Formulations for the Composition of Staircase Functions
Tu Anh-Nguyen, Joey Huchette
We present a technique for neural network verification using mixed-integer programming (MIP) formulations. We derive a \emph{strong formulation} for each neuron in a network using…
math.OC2022
On Distributed Exact Sparse Linear Regression over Networks
Tu Anh-Nguyen, César A. Uribe
In this work, we propose an algorithm for solving exact sparse linear regression problems over a network in a distributed manner. Particularly, we consider the problem where data i…