conftrace_

relu neural network

35 papers

Explore in graph

Also known as

RELU

Co-occurring keywords

neural network (6616) neural network verification (106) relu activation (93) neural network optimization (1293) gradient descent (1144) safe control (24) network expressivity (5) spurious minima (4) hessian spectrum (8) neural network robustness (92)

Papers

Partition-Based Formulations for Mixed-Integer Optimization of Trained ReLU Neural Networks NIPS 2021
Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks ICML 2020
Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis AAAI 2020
Counterexample-Guided Learning of Monotonic Neural Networks NIPS 2020
Optimization Theory for ReLU Neural Networks Trained with Normalization Layers ICML 2020
Complexity of Finding Stationary Points of Nonconvex Nonsmooth Functions ICML 2020
Capacity Control of ReLU Neural Networks by Basis-Path Norm AAAI 2019
Tropical Geometry of Deep Neural Networks ICML 2018
Spurious Local Minima are Common in Two-Layer ReLU Neural Networks ICML 2018
Learning Overparameterized Neural Networks via Stochastic Gradient Descent on Structured Data NIPS 2018