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

Efficient Verification and Falsification of ReLU Neural Barrier Certificates AAAI 2026
Interpretable Global Minima of Deep ReLU Neural Networks on Sequentially Separable Data JMLR 2025
Pathwise Explanation of ReLU Neural Networks AISTATS 2024
Real-time safe control of neural network dynamic models with sound approximation L4DC 2024
Strengthened stability analysis of discrete-time Lurie systems involving ReLU neural networks L4DC 2024
Topological Expressivity of ReLU Neural Networks COLT 2024
SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions NIPS 2024
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract) IJCAI 2023
On the Global Convergence of Fitted Q-Iteration with Two-layer Neural Network Parametrization ICML 2023
Benign Overfitting in Two-layer ReLU Convolutional Neural Networks ICML 2023
Efficient Parametric Approximations of Neural Network Function Space Distance ICML 2023
Deterministic Nonsmooth Nonconvex Optimization COLT 2023
Exact Count of Boundary Pieces of ReLU Classifiers: Towards the Proper Complexity Measure for Classification UAI 2023
Hidden Symmetries of ReLU Networks ICML 2023
CertiFair: A Framework for Certified Global Fairness of Neural Networks AAAI 2023
Probabilistic Verification of ReLU Neural Networks via Characteristic Functions L4DC 2023
Tessellation-Filtering ReLU Neural Networks IJCAI 2022
Annihilation of Spurious Minima in Two-Layer ReLU Networks NIPS 2022
Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations AAAI 2022
Adversarial Reprogramming Revisited NIPS 2022
EV-GAN: Simulation of extreme events with ReLU neural networks JMLR 2022
Towards Scalable Complete Verification of Relu Neural Networks via Dependency-based Branching IJCAI 2021
Analytic Study of Families of Spurious Minima in Two-Layer ReLU Neural Networks: A Tale of Symmetry II NIPS 2021
Phase Diagram for Two-layer ReLU Neural Networks at Infinite-width Limit JMLR 2021
On Learnability via Gradient Method for Two-Layer ReLU Neural Networks in Teacher-Student Setting ICML 2021