{"total":65,"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":"2201.11114","title":"Natural Language Descriptions of Deep Visual Features","created":"2022-01-26","cited_by_count":137,"area":null},{"id":"2208.05740","title":"General Cutting Planes for Bound-Propagation-Based Neural Network Verification","created":"2022-08-11","cited_by_count":103,"area":null},{"id":"2205.00263","title":"Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound","created":"2022-04-30","cited_by_count":92,"area":null},{"id":"2103.03638","title":"PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations","created":"2021-03-05","cited_by_count":77,"area":null},{"id":"2210.04871","title":"Certified Training: Small Boxes are All You Need","created":"2022-10-10","cited_by_count":52,"area":null},{"id":"2106.06946","title":"Boosting Randomized Smoothing with Variance Reduced Classifiers","created":"2021-06-13","cited_by_count":47,"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":"2102.04373","title":"Partition-based formulations for mixed-integer optimization of trained ReLU neural networks","created":"2021-02-08","cited_by_count":39,"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":"2202.02414","title":"OMLT: Optimization & Machine Learning Toolkit","created":"2022-02-04","cited_by_count":35,"area":null},{"id":"2501.00200","title":"Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes","created":"2024-12-31","cited_by_count":33,"area":null},{"id":"2110.06850","title":"Boosting the Certified Robustness of L-infinity Distance Nets","created":"2021-10-13","cited_by_count":24,"area":null},{"id":"2305.13991","title":"Expressive Losses for Verified Robustness via Convex Combinations","created":"2023-05-23","cited_by_count":23,"area":null},{"id":"2110.01110","title":"Safe Control with Neural Network Dynamic Models","created":"2021-10-03","cited_by_count":22,"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":"2102.09479","title":"Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications","created":"2021-02-18","cited_by_count":18,"area":null},{"id":"2106.04260","title":"Provably Robust Detection of Out-of-distribution Data (almost) for free","created":"2021-06-08","cited_by_count":18,"area":null},{"id":"2306.09844","title":"Wasserstein distributional robustness of neural networks","created":"2023-06-16","cited_by_count":16,"area":null},{"id":"2104.00447","title":"Towards Evaluating and Training Verifiably Robust Neural Networks","created":"2021-04-01","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":"2102.06700","title":"On the Paradox of Certified Training","created":"2021-02-12","cited_by_count":12,"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":"2202.13216","title":"Adversarial robustness of sparse local Lipschitz predictors","created":"2022-02-26","cited_by_count":11,"area":null},{"id":"2205.14189","title":"Optimizing Objective Functions from Trained ReLU Neural Networks via Sampling","created":"2022-05-27","cited_by_count":11,"area":null},{"id":"2305.04574","title":"TAPS: Connecting Certified and Adversarial Training","created":"2023-05-08","cited_by_count":11,"area":null},{"id":"2206.07839","title":"Linearity Grafting: Relaxed Neuron Pruning Helps Certifiable Robustness","created":"2022-06-15","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":"2211.08453","title":"Improved techniques for deterministic l2 robustness","created":"2022-11-15","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":"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":"2211.01498","title":"On the Safety of Interpretable Machine Learning: A Maximum Deviation Approach","created":"2022-11-02","cited_by_count":7,"area":null},{"id":"2407.01639","title":"ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks","created":"2024-06-30","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":"2212.04646","title":"DRIP: Domain Refinement Iteration with Polytopes for Backward Reachability Analysis of Neural Feedback Loops","created":"2022-12-09","cited_by_count":6,"area":null},{"id":"2303.13401","title":"Optimization and Optimizers for Adversarial Robustness","created":"2023-03-23","cited_by_count":6,"area":null},{"id":"2205.13909","title":"(De-)Randomized Smoothing for Decision Stump Ensembles","created":"2022-05-27","cited_by_count":5,"area":null},{"id":"2210.08069","title":"Zonotope Domains for Lagrangian Neural Network Verification","created":"2022-10-14","cited_by_count":5,"area":null},{"id":"2211.02578","title":"Data Models for Dataset Drift Controls in Machine Learning With Optical Images","created":"2022-11-04","cited_by_count":5,"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":"2210.14410","title":"Improving Adversarial Robustness via Joint Classification and Multiple Explicit Detection Classes","created":"2022-10-26","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":"2211.17244","title":"Tight Certification of Adversarially Trained Neural Networks via Nonconvex Low-Rank Semidefinite Relaxations","created":"2022-11-30","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":"2312.11801","title":"Fast, Scalable, Warm-Start Semidefinite Programming with Spectral Bundling and Sketching","created":"2023-12-19","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":"2210.04625","title":"Robustness Certification of Visual Perception Models via Camera Motion Smoothing","created":"2022-10-04","cited_by_count":3,"area":null},{"id":"2301.11431","title":"Semidefinite Relaxations for Robust Multiview Triangulation","created":"2023-01-26","cited_by_count":3,"area":null},{"id":"2303.05246","title":"Efficient Certified Training and Robustness Verification of Neural ODEs","created":"2023-03-09","cited_by_count":3,"area":null},{"id":"2309.13150","title":"Pixel-wise Smoothing for Certified Robustness against Camera Motion Perturbations","created":"2023-09-22","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":"2112.09279","title":"Robust Upper Bounds for Adversarial Training","created":"2021-12-17","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.09176","title":"Cross-Input Certified Training for Universal Perturbations","created":"2024-05-15","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":"2507.23197","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","created":"2025-07-31","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":"2506.10269","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","created":"2025-06-12","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":"2510.25130","title":"Lipschitz-aware Linearity Grafting for Certified Robustness","created":"2025-10-29","cited_by_count":0,"area":null},{"id":"2607.03232","title":"Fast SDP certification of neural networks : towards large multi-class datasets","created":"2026-07-03","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}