relu neural network

Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations AAAI 2022 Width is Less Important than Depth in ReLU Neural Networks COLT 2022 Analytic Study of Families of Spurious Minima in Two-Layer ReLU Neural Networks: A Tale of Symmetry II NeurIPS 2021 On Learnability via Gradient Method for Two-Layer ReLU Neural Networks in Teacher-Student Setting ICML 2021 Partition-Based Formulations for Mixed-Integer Optimization of Trained ReLU Neural Networks NeurIPS 2021 Phase Diagram for Two-layer ReLU Neural Networks at Infinite-width Limit JMLR 2021 Towards Scalable Complete Verification of Relu Neural Networks via Dependency-based Branching IJCAI 2021 Complexity of Finding Stationary Points of Nonconvex Nonsmooth Functions ICML 2020 Counterexample-Guided Learning of Monotonic Neural Networks NeurIPS 2020 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 Optimization Theory for ReLU Neural Networks Trained with Normalization Layers ICML 2020 Capacity Control of ReLU Neural Networks by Basis-Path Norm AAAI 2019 G-SGD: Optimizing ReLU Neural Networks in its Positively Scale-Invariant Space ICLR 2019 On the Universal Approximability and Complexity Bounds of Quantized ReLU Neural Networks ICLR 2019 Learning Overparameterized Neural Networks via Stochastic Gradient Descent on Structured Data NeurIPS 2018 Spurious Local Minima are Common in Two-Layer ReLU Neural Networks ICML 2018 Tropical Geometry of Deep Neural Networks ICML 2018