Global optimization of objective functions represented by ReLU networks
- 20 October 2021
- journal article
- research article
- Published by Springer Nature in Machine Learning
- Vol. 112 (10) , 3685-3712
Abstract
No abstract availableKeywords
All Related Versions
Funding Information
- Defense Advanced Research Projects Agency (FA8750-18-C-009)
This publication has 28 references indexed in Scilit:
- Safety Verification of Deep Neural Networks2017
- Towards Evaluating the Robustness of Neural Networks2017
- A survey of deep neural network architectures and their applicationsNeurocomputing, 2017
- Policy compression for aircraft collision avoidance systems2016
- "Why Should I Trust You?"2016
- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions2015
- νZ - An Optimizing SMT Solver2015
- Deep learning in neural networks: An overviewNeural Networks, 2015
- Algorithm 778: L-BFGS-BACM Transactions on Mathematical Software, 1997
- Neural networks for control systems—A surveyAutomatica, 1992