Follow
Tu Anh-Nguyen
Tu Anh-Nguyen
Verified email at rice.edu - Homepage
Title
Cited by
Cited by
Year
Neural Network Verification as Piecewise Linear Optimization: Formulations for the Composition of Staircase Functions
T Anh-Nguyen, J Huchette
arXiv preprint arXiv:2211.14706, 2022
12022
On distributed exact sparse linear regression over networks
T Anh-Nguyen, CA Uribe
2022 IEEE 61st Conference on Decision and Control (CDC), 6491-6496, 2022
2022
Representing Integer Program Value Function with Neural Networks
T Anh-Nguyen, J Huchette, AJ Schaefer
The system can't perform the operation now. Try again later.
Articles 1–3