paper-with-me

홈 › Papers

Vector-output ReLU Neural Network Problems are Copositive Programs: Convex Analysis of Two Layer Networks and Polynomial-time Algorithms

2020-12-24 · ICLR 2021 1 · Arda Sahiner, Tolga Ergen, John Pauly, Mert Pilanci

We describe the convex semi-infinite dual of the two-layer vector-output ReLU neural network training problem. This semi-infinite dual admits a finite dimensional representation, but its support is over a convex set which is difficult to characterize. In particular, we demonstrate that the non-convex neural network training problem is equivalent to a finite-dimensional convex copositive program. Our work is the first to identify this strong connection between the global optima of neural networks and those of copositive programs. We thus demonstrate how neural networks implicitly attempt to solve copositive programs via semi-nonnegative matrix factorization, and draw key insights from this formulation. We describe the first algorithms for provably finding the global minimum of the vector output neural network training problem, which are polynomial in the number of samples for a fixed data rank, yet exponential in the dimension. However, in the case of convolutional architectures, the computational complexity is exponential in only the filter size and polynomial in all other parameters. We describe the circumstances in which we can find the global optimum of this neural network training problem exactly with soft-thresholded SVD, and provide a copositive relaxation which is guaranteed to be exact for certain classes of problems, and which corresponds with the solution of Stochastic Gradient Descent in practice.

📄 PDF Abstract BibTeX arXiv:2012.13329

Code (0)

등록된 구현이 없습니다.

Methods 이 논문이 사용한 방법론

ReLU How Do I Communicate to Expedia? How Do I Communicate to Expedia? – Call ☎️ +1-(888) 829 (0881) or +1-805-330-4056 or +1-805-330-4056 for Live Support & Special Travel…

Similar Papers 제목 키워드 기반

Stability Analysis of Recurrent Neural Networks by IQC with Copositive Mutipliers

2022-02-09 · Yoshio Ebihara, Hayato Waki, Victor Magron, Ngoc Hoang Anh Mai 외

This paper is concerned with the stability analysis of the recurrent neural networks (RNNs) by means of the integral quadratic constraint (IQC) framework. The rectified linear unit (ReLU) is typically employed as the act…

ReLU Networks as Surrogate Models in Mixed-Integer Linear Programs

2019-07-06 · Bjarne Grimstad, Henrik Andersson

We consider the embedding of piecewise-linear deep neural networks (ReLU networks) as surrogate models in mixed-integer linear programming (MILP) problems. A MILP formulation of ReLU networks has recently been applied by…

Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification

2023-10-17 · Yoshio Ebihara, Xin Dai, Victor Magron, Dimitri Peaucelle 외

This paper is concerned with the computation of the local Lipschitz constant of feedforward neural networks (FNNs) with activation functions being rectified linear units (ReLUs). The local Lipschitz constant of an FNN fo…

An approach to reachability analysis for feed-forward ReLU neural networks

2017-06-22 · Alessio Lomuscio, Lalit Maganti

We study the reachability problem for systems implemented as feed-forward neural networks whose activation function is implemented via ReLU functions. We draw a correspondence between establishing whether some arbitrary …

ReLU activated Multi-Layer Neural Networks trained with Mixed Integer Linear Programs

2020-08-19 · Steffen Goebbels

In this paper, it is demonstrated through a case study that multilayer feedforward neural networks activated by ReLU functions can in principle be trained iteratively with Mixed Integer Linear Programs (MILPs) as follows…