1 paper · 1 filter
Sahel Vahedi Noori, Bin Hu, Geir Dullerud +1
This paper derives a complete set of quadratic constraints (QCs) for the repeated ReLU. The complete set of QCs is described by a collection of matrix copositivity conditions. We a…