{"total":99,"rows":[{"id":"2103.06624","title":"Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification","created":"2021-03-11","cited_by_count":228,"area":null},{"id":"2303.03169","title":"A Unified Algebraic Perspective on Lipschitz Neural Networks","created":"2023-03-06","cited_by_count":60,"area":null},{"id":"2104.05942","title":"Recurrent Equilibrium Networks: Flexible Dynamic Models with Guaranteed Stability and Robustness","created":"2021-04-13","cited_by_count":45,"area":null},{"id":"2206.12227","title":"Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective","created":"2022-06-24","cited_by_count":42,"area":null},{"id":"2108.04140","title":"Reachability Analysis of Neural Feedback Loops","created":"2021-08-09","cited_by_count":41,"area":null},{"id":"2305.00241","title":"When Deep Learning Meets Polyhedral Theory: A Survey","created":"2023-04-29","cited_by_count":39,"area":null},{"id":"2410.10807","title":"HardNet: Hard-Constrained Neural Networks with Universal Approximation Guarantees","created":"2024-10-14","cited_by_count":31,"area":null},{"id":"2306.13867","title":"Physics-Informed Machine Learning for Modeling and Control of Dynamical Systems","created":"2023-06-24","cited_by_count":28,"area":null},{"id":"2404.07956","title":"Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation","created":"2024-04-11","cited_by_count":25,"area":null},{"id":"2212.08507","title":"Robust Explanation Constraints for Neural Networks","created":"2022-12-16","cited_by_count":24,"area":null},{"id":"2310.00116","title":"Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization","created":"2023-09-29","cited_by_count":21,"area":null},{"id":"2106.03194","title":"Robust Implicit Networks via Non-Euclidean Contractions","created":"2021-06-06","cited_by_count":20,"area":null},{"id":"2109.03861","title":"Recurrent Neural Network Controllers Synthesis with Stability Guarantees for Partially Observed Systems","created":"2021-09-08","cited_by_count":16,"area":null},{"id":"2204.00846","title":"Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks","created":"2022-04-02","cited_by_count":15,"area":null},{"id":"2110.01388","title":"Neural Network Verification in Control","created":"2021-09-30","cited_by_count":14,"area":null},{"id":"2111.07183","title":"Reliably-stabilizing piecewise-affine neural network controllers","created":"2021-11-13","cited_by_count":13,"area":null},{"id":"2203.03034","title":"A Unified View of SDP-based Neural Network Verification through Completely Positive Programming","created":"2022-03-06","cited_by_count":12,"area":null},{"id":"2304.01218","title":"POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems","created":"2023-03-31","cited_by_count":12,"area":null},{"id":"2201.00632","title":"Neural network training under semidefinite constraints","created":"2022-01-03","cited_by_count":11,"area":null},{"id":"2206.13374","title":"Stability Verification of Neural Network Controllers using Mixed-Integer Programming","created":"2022-06-27","cited_by_count":11,"area":null},{"id":"2101.01815","title":"Efficient Reachability Analysis of Closed-Loop Systems with Neural Network Controllers","created":"2021-01-05","cited_by_count":10,"area":null},{"id":"2307.14442","title":"Neural Schr\\\"{o}dinger Bridge with Sinkhorn Losses: Application to Data-driven Minimum Effort Control of Colloidal Self-assembly","created":"2023-07-26","cited_by_count":10,"area":null},{"id":"2404.04375","title":"ECLipsE: Efficient Compositional Lipschitz Constant Estimation for Deep Neural Networks","created":"2024-04-05","cited_by_count":10,"area":null},{"id":"2203.07505","title":"Closing the Loop: A Framework for Trustworthy Machine Learning in Power Systems","created":"2022-03-14","cited_by_count":9,"area":null},{"id":"2307.14938","title":"Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops","created":"2023-07-27","cited_by_count":9,"area":null},{"id":"2512.11087","title":"Clip-and-Verify: Linear Constraint-Driven Domain Clipping for Accelerating Neural Network Verification","created":"2025-12-11","cited_by_count":9,"area":null},{"id":"2106.09117","title":"DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting","created":"2021-06-16","cited_by_count":8,"area":null},{"id":"2112.05310","title":"Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach","created":"2021-12-10","cited_by_count":8,"area":null},{"id":"2204.00122","title":"Synthesis of Stabilizing Recurrent Equilibrium Network Controllers","created":"2022-03-31","cited_by_count":8,"area":null},{"id":"2405.01125","title":"Lipschitz constant estimation for general neural network architectures using control tools","created":"2024-05-02","cited_by_count":8,"area":null},{"id":"2111.12906","title":"Robustness against Adversarial Attacks in Neural Networks using Incremental Dissipativity","created":"2021-11-25","cited_by_count":7,"area":null},{"id":"2205.10728","title":"Neural Lyapunov Differentiable Predictive Control","created":"2022-05-22","cited_by_count":7,"area":null},{"id":"2408.13140","title":"Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation","created":"2024-08-23","cited_by_count":7,"area":null},{"id":"2103.17106","title":"Linear systems with neural network nonlinearities: Improved stability analysis via acausal Zames-Falb multipliers","created":"2021-03-31","cited_by_count":6,"area":null},{"id":"2106.05997","title":"Verifying Quantized Neural Networks using SMT-Based Model Checking","created":"2021-06-10","cited_by_count":6,"area":null},{"id":"2209.09881","title":"Risk Verification of Stochastic Systems with Neural Network Controllers","created":"2022-08-26","cited_by_count":6,"area":null},{"id":"2506.01356","title":"Two-Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansion","created":"2025-06-02","cited_by_count":6,"area":null},{"id":"2212.01544","title":"Probabilistic Verification of ReLU Neural Networks via Characteristic Functions","created":"2022-12-03","cited_by_count":5,"area":null},{"id":"2303.03042","title":"Convolutional Neural Networks as 2-D systems","created":"2023-03-06","cited_by_count":5,"area":null},{"id":"2309.16032","title":"Learning Dissipative Neural Dynamical Systems","created":"2023-09-27","cited_by_count":5,"area":null},{"id":"2111.13110","title":"QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking","created":"2021-11-25","cited_by_count":4,"area":null},{"id":"2206.03482","title":"Chordal Sparsity for SDP-based Neural Network Verification","created":"2022-06-07","cited_by_count":4,"area":null},{"id":"2211.07125","title":"Global Performance Guarantees for Neural Network Models of AC Power Flow","created":"2022-11-14","cited_by_count":4,"area":null},{"id":"2306.10617","title":"GPU-Accelerated Verification of Machine Learning Models for Power Systems","created":"2023-06-18","cited_by_count":4,"area":null},{"id":"2404.07373","title":"Synthesizing Neural Network Controllers with Closed-Loop Dissipativity Guarantees","created":"2024-04-10","cited_by_count":4,"area":null},{"id":"2405.05236","title":"Stability and Performance Analysis of Discrete-Time ReLU Recurrent Neural Networks","created":"2024-05-08","cited_by_count":4,"area":null},{"id":"2505.19932","title":"Logic Gate Neural Networks are Good for Verification","created":"2025-05-26","cited_by_count":4,"area":null},{"id":"2102.09284","title":"Reduced-Order Neural Network Synthesis with Robustness Guarantees","created":"2021-02-18","cited_by_count":3,"area":null},{"id":"2202.04592","title":"Stability Analysis of Recurrent Neural Networks by IQC with Copositive Mutipliers","created":"2022-02-09","cited_by_count":3,"area":null},{"id":"2202.11246","title":"Learning Neural Networks under Input-Output Specifications","created":"2022-02-23","cited_by_count":3,"area":null},{"id":"2211.06130","title":"Physically Consistent Neural ODEs for Learning Multi-Physics Systems","created":"2022-11-11","cited_by_count":3,"area":null},{"id":"2304.03671","title":"Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems","created":"2023-04-07","cited_by_count":3,"area":null},{"id":"2306.14619","title":"Verification of Neural Network Control Systems using Symbolic Zonotopes and Polynotopes","created":"2023-06-26","cited_by_count":3,"area":null},{"id":"2403.11938","title":"State space representations of the Roesser type for convolutional layers","created":"2024-03-18","cited_by_count":3,"area":null},{"id":"2406.04476","title":"Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis","created":"2024-06-06","cited_by_count":3,"area":null},{"id":"2101.09306","title":"Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification","created":"2021-01-22","cited_by_count":2,"area":null},{"id":"2103.05142","title":"Formal Verification of Stochastic Systems with ReLU Neural Network Controllers","created":"2021-03-08","cited_by_count":2,"area":null},{"id":"2204.00187","title":"Comparative Analysis of Interval Reachability for Robust Implicit and Feedforward Neural Networks","created":"2022-04-01","cited_by_count":2,"area":null},{"id":"2206.01272","title":"Data-Driven Linear Koopman Embedding for Networked Systems: Model-Predictive Grid Control","created":"2022-06-02","cited_by_count":2,"area":null},{"id":"2208.13006","title":"Neural Observer with Lyapunov Stability Guarantee for Uncertain Nonlinear Systems","created":"2022-08-27","cited_by_count":2,"area":null},{"id":"2310.04916","title":"Tight Certified Robustness via Min-Max Representations of ReLU Neural Networks","created":"2023-10-07","cited_by_count":2,"area":null},{"id":"2310.11104","title":"Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification","created":"2023-10-17","cited_by_count":2,"area":null},{"id":"2407.06888","title":"A Complete Set of Quadratic Constraints for Repeated ReLU and Generalizations","created":"2024-07-09","cited_by_count":2,"area":null},{"id":"2410.22258","title":"LipKernel: Lipschitz-Bounded Convolutional Neural Networks via Dissipative Layers","created":"2024-10-29","cited_by_count":2,"area":null},{"id":"2411.04594","title":"Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels","created":"2024-11-07","cited_by_count":2,"area":null},{"id":"2412.02940","title":"SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks","created":"2024-12-04","cited_by_count":2,"area":null},{"id":"2505.07054","title":"YANNs: Y-wise Affine Neural Networks for Exact and Efficient Representations of Piecewise Linear Functions","created":"2025-05-11","cited_by_count":2,"area":null},{"id":"2204.13209","title":"Robust stabilization of polytopic systems via fast and reliable neural network-based approximations","created":"2022-04-27","cited_by_count":1,"area":null},{"id":"2208.07464","title":"An Overview and Prospective Outlook on Robust Training and Certification of Machine Learning Models","created":"2022-08-15","cited_by_count":1,"area":null},{"id":"2210.06213","title":"Probabilistic Inverse Modeling: An Application in Hydrology","created":"2022-10-12","cited_by_count":1,"area":null},{"id":"2310.09361","title":"Is Certifying $\\ell_p$ Robustness Still Worthwhile?","created":"2023-10-13","cited_by_count":1,"area":null},{"id":"2405.17049","title":"Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization","created":"2024-05-27","cited_by_count":1,"area":null},{"id":"2409.15858","title":"Identification For Control Based on Neural Networks: Approximately Linearizable Models","created":"2024-09-24","cited_by_count":1,"area":null},{"id":"2504.16879","title":"Learning Verifiable Control Policies Using Relaxed Verification","created":"2025-04-23","cited_by_count":1,"area":null},{"id":"2506.23703","title":"A New Perspective On AI Safety Through Control Theory Methodologies","created":"2025-06-30","cited_by_count":1,"area":null},{"id":"2509.15368","title":"Stochastic Sample Approximations of (Local) Moduli of Continuity","created":"2025-09-18","cited_by_count":1,"area":null},{"id":"2510.05261","title":"ECLipsE-Gen-Local: Efficient Compositional Local Lipschitz Estimates for Deep Neural Networks","created":"2025-10-06","cited_by_count":1,"area":null},{"id":"2602.04236","title":"Cascading Robustness Verification: Toward Efficient Model-Agnostic Certification","created":"2026-02-04","cited_by_count":1,"area":null},{"id":"2603.03043","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","created":"2026-03-03","cited_by_count":1,"area":null},{"id":"2103.12141","title":"Performance Bounds for Neural Network Estimators: Applications in Fault Detection","created":"2021-03-22","cited_by_count":0,"area":null},{"id":"2206.01175","title":"Robust Longitudinal Control for Vehicular Autonomous Platoons Using Deep Reinforcement Learning","created":"2022-05-31","cited_by_count":0,"area":null},{"id":"2208.03625","title":"Parabolic Relaxation for Quadratically-constrained Quadratic Programming -- Part II: Theoretical & Computational Results","created":"2022-08-07","cited_by_count":0,"area":null},{"id":"2311.10863","title":"Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks","created":"2023-11-17","cited_by_count":0,"area":null},{"id":"2402.11739","title":"A Transition System Abstraction Framework for Neural Network Dynamical System Models","created":"2024-02-18","cited_by_count":0,"area":null},{"id":"2405.20556","title":"Certifying Global Robustness for Deep Neural Networks","created":"2024-05-31","cited_by_count":0,"area":null},{"id":"2503.23016","title":"Towards Understanding the Optimization Mechanisms in Deep Learning","created":"2025-03-29","cited_by_count":0,"area":null},{"id":"2504.08249","title":"Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers","created":"2025-04-11","cited_by_count":0,"area":null},{"id":"2506.23977","title":"A Scalable Approach for Safe and Robust Learning via Lipschitz-Constrained Networks","created":"2025-06-30","cited_by_count":0,"area":null},{"id":"2507.17453","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","created":"2025-07-23","cited_by_count":0,"area":null},{"id":"2508.11432","title":"Robust Convolution Neural ODEs via Contractivity-promoting regularization","created":"2025-08-15","cited_by_count":0,"area":null},{"id":"2509.17413","title":"Distributionally Robust Safety Verification of Neural Networks via Worst-Case CVaR","created":"2025-09-22","cited_by_count":0,"area":null},{"id":"2509.17898","title":"Lipschitz-Based Robustness Certification for Recurrent Neural Networks via Convex Relaxation","created":"2025-09-22","cited_by_count":0,"area":null},{"id":"2510.06661","title":"Delay Independent Safe Control with Neural Networks: Positive Lur'e Certificates for Risk Aware Autonomy","created":"2025-10-08","cited_by_count":0,"area":null},{"id":"2605.20482","title":"Quadratic Characterizations for Reachability Analysis of Neural Networks","created":"2026-05-19","cited_by_count":0,"area":null},{"id":"2607.06630","title":"When Certificates Fail: A Unified Safety Framework for Embedded Neural Interface Models","created":"2026-07-07","cited_by_count":0,"area":null},{"id":"2607.11122","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation","created":"2026-07-13","cited_by_count":0,"area":null},{"id":"2608.24743","title":"$(\\text{DNN})^2$: Doubly Non-Negative Relaxations for Deep Neural Networks","created":"2026-08-25","cited_by_count":0,"area":null},{"id":"2609.11918","title":"General Quantification of Covariate and Concept Shifts","created":"2026-09-10","cited_by_count":0,"area":null},{"id":"2610.16016","title":"Certified Robustness via Sparse Second-Order Cone Relaxations","created":"2026-10-12","cited_by_count":0,"area":null}],"next_cursor":null}