relu neural network

Efficient Verification and Falsification of ReLU Neural Barrier Certificates AAAI 2026 How Gradient descent balances features: A dynamical analysis for two-layer neural networks ICLR 2025 Interpretable Global Minima of Deep ReLU Neural Networks on Sequentially Separable Data JMLR 2025 On the Expressiveness of Rational ReLU Neural Networks With Bounded Depth ICLR 2025 OPTIMAL ROBUST MEMORIZATION WITH RELU NEURAL NETWORKS ICLR 2024 Pathwise Explanation of ReLU Neural Networks AISTATS 2024 Real-time safe control of neural network dynamic models with sound approximation L4DC 2024 SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions NeurIPS 2024 Strengthened stability analysis of discrete-time Lurie systems involving ReLU neural networks L4DC 2024 Topological Expressivity of ReLU Neural Networks COLT 2024 Benign Overfitting in Two-layer ReLU Convolutional Neural Networks ICML 2023 CertiFair: A Framework for Certified Global Fairness of Neural Networks AAAI 2023 Deterministic Nonsmooth Nonconvex Optimization COLT 2023 Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract) IJCAI 2023 Efficient Parametric Approximations of Neural Network Function Space Distance ICML 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 Lower Bounds on the Depth of Integral ReLU Neural Networks via Lattice Polytopes ICLR 2023 On the Global Convergence of Fitted Q-Iteration with Two-layer Neural Network Parametrization ICML 2023 Probabilistic Verification of ReLU Neural Networks via Characteristic Functions L4DC 2023 Adversarial Reprogramming Revisited NeurIPS 2022 Annihilation of Spurious Minima in Two-Layer ReLU Networks NeurIPS 2022 EV-GAN: Simulation of extreme events with ReLU neural networks JMLR 2022 On the Optimal Memorization Power of ReLU Neural Networks ICLR 2022 Tessellation-Filtering ReLU Neural Networks IJCAI 2022