{"total":127,"rows":[{"id":"2104.07167","title":"Orthogonalizing Convolutional Layers with the Cayley Transform","created":"2021-04-14","cited_by_count":105,"area":null},{"id":"2110.07719","title":"Certified Patch Robustness via Smoothed Vision Transformers","created":"2021-10-11","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":"2101.02559","title":"Robust Machine Learning Systems: Challenges, Current Trends, Perspectives, and the Road Ahead","created":"2021-01-04","cited_by_count":41,"area":null},{"id":"2108.04140","title":"Reachability Analysis of Neural Feedback Loops","created":"2021-08-09","cited_by_count":41,"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":"2108.01220","title":"OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems","created":"2021-08-03","cited_by_count":38,"area":null},{"id":"2103.13427","title":"Multi-Label Classification Neural Networks with Hard Logical Constraints","created":"2021-03-24","cited_by_count":36,"area":null},{"id":"2202.02414","title":"OMLT: Optimization & Machine Learning Toolkit","created":"2022-02-04","cited_by_count":35,"area":null},{"id":"2205.13536","title":"Verifying Learning-Based Robotic Navigation Systems","created":"2022-05-26","cited_by_count":33,"area":null},{"id":"2102.07861","title":"Low Curvature Activations Reduce Overfitting in Adversarial Training","created":"2021-02-15","cited_by_count":29,"area":null},{"id":"2201.01978","title":"An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks","created":"2022-01-06","cited_by_count":24,"area":null},{"id":"2107.04570","title":"ANCER: Anisotropic Certification via Sample-wise Volume Maximization","created":"2021-07-09","cited_by_count":23,"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":"2105.13649","title":"Pruning and Slicing Neural Networks using Formal Verification","created":"2021-05-28","cited_by_count":20,"area":null},{"id":"2108.04214","title":"Neural Network Repair with Reachability Analysis","created":"2021-08-09","cited_by_count":19,"area":null},{"id":"2301.07068","title":"The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks","created":"2023-01-17","cited_by_count":19,"area":null},{"id":"2202.03898","title":"Verification-Aided Deep Ensemble Selection","created":"2022-02-08","cited_by_count":18,"area":null},{"id":"2103.07224","title":"BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks","created":"2021-03-12","cited_by_count":17,"area":null},{"id":"2205.09927","title":"CertiFair: A Framework for Certified Global Fairness of Neural Networks","created":"2022-05-20","cited_by_count":17,"area":null},{"id":"2203.14141","title":"Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding","created":"2022-03-26","cited_by_count":15,"area":null},{"id":"2404.09586","title":"Mitigating the Curse of Dimensionality for Certified Robustness via Dual Randomized Smoothing","created":"2024-04-15","cited_by_count":15,"area":null},{"id":"2105.11363","title":"Learning Security Classifiers with Verified Global Robustness Properties","created":"2021-05-24","cited_by_count":14,"area":null},{"id":"2110.01388","title":"Neural Network Verification in Control","created":"2021-09-30","cited_by_count":14,"area":null},{"id":"2110.09929","title":"Minimal Multi-Layer Modifications of Deep Neural Networks","created":"2021-10-18","cited_by_count":14,"area":null},{"id":"2111.03165","title":"Infinite Time Horizon Safety of Bayesian Neural Networks","created":"2021-11-04","cited_by_count":13,"area":null},{"id":"2406.06507","title":"Verification-Guided Shielding for Deep Reinforcement Learning","created":"2024-06-10","cited_by_count":13,"area":"deeprl"},{"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":"2212.03287","title":"veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System","created":"2022-12-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":"2207.00759","title":"Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks","created":"2022-07-02","cited_by_count":11,"area":null},{"id":"2302.05745","title":"Verifying Generalization in Deep Learning","created":"2023-02-11","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":"2209.05055","title":"CARE: Certifiably Robust Learning with Reasoning via Variational Inference","created":"2022-09-12","cited_by_count":10,"area":null},{"id":"2305.10157","title":"Efficient Error Certification for Physics-Informed Neural Networks","created":"2023-05-17","cited_by_count":10,"area":null},{"id":"2401.03188","title":"A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence","created":"2024-01-06","cited_by_count":10,"area":null},{"id":"2402.13937","title":"Verifying message-passing neural networks via topology-based bounds tightening","created":"2024-02-21","cited_by_count":10,"area":null},{"id":"2406.18451","title":"Detecting Brittle Decisions for Free: Leveraging Margin Consistency in Deep Robust Classifiers","created":"2024-06-26","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":"2212.02781","title":"QEBVerif: Quantization Error Bound Verification of Neural Networks","created":"2022-12-06","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":"2111.09293","title":"Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks","created":"2021-11-17","cited_by_count":8,"area":null},{"id":"2210.12871","title":"Tighter Abstract Queries in Neural Network Verification","created":"2022-10-23","cited_by_count":8,"area":null},{"id":"2304.03674","title":"Machine Learning with Requirements: a Manifesto","created":"2023-04-07","cited_by_count":8,"area":null},{"id":"2404.13736","title":"Interval Abstractions for Robust Counterfactual Explanations","created":"2024-04-21","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":"2104.14435","title":"Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes","created":"2021-04-25","cited_by_count":6,"area":null},{"id":"2202.01186","title":"Smoothed Embeddings for Certified Few-Shot Learning","created":"2022-02-02","cited_by_count":6,"area":null},{"id":"2207.05327","title":"Certified Adversarial Robustness via Anisotropic Randomized Smoothing","created":"2022-07-12","cited_by_count":6,"area":null},{"id":"2208.07669","title":"On Optimizing Back-Substitution Methods for Neural Network Verification","created":"2022-08-16","cited_by_count":6,"area":null},{"id":"2210.08339","title":"Reachable Polyhedral Marching (RPM): An Exact Analysis Tool for Deep-Learned Control Systems","created":"2022-10-15","cited_by_count":6,"area":null},{"id":"2307.11784","title":"What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems","created":"2023-07-20","cited_by_count":6,"area":null},{"id":"2103.04436","title":"Insta-RS: Instance-wise Randomized Smoothing for Improved Robustness and Accuracy","created":"2021-03-07","cited_by_count":5,"area":null},{"id":"2202.03932","title":"Are Transformers More Robust? Towards Exact Robustness Verification for Transformers","created":"2022-02-08","cited_by_count":5,"area":null},{"id":"2210.04175","title":"Safety Verification for Neural Networks Based on Set-boundary Analysis","created":"2022-10-09","cited_by_count":5,"area":null},{"id":"2211.14438","title":"BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic","created":"2022-11-22","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":"2305.13508","title":"DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation","created":"2023-05-22","cited_by_count":5,"area":null},{"id":"2401.11627","title":"Tight Verification of Probabilistic Robustness in Bayesian Neural Networks","created":"2024-01-21","cited_by_count":5,"area":null},{"id":"2106.12074","title":"Reachability Analysis of Convolutional Neural Networks","created":"2021-06-22","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":"2208.08609","title":"A Scalable, Interpretable, Verifiable & Differentiable Logic Gate Convolutional Neural Network Architecture From Truth Tables","created":"2022-08-18","cited_by_count":4,"area":null},{"id":"2302.09750","title":"Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical Systems","created":"2023-02-20","cited_by_count":4,"area":null},{"id":"2304.10446","title":"Certified Adversarial Robustness Within Multiple Perturbation Bounds","created":"2023-04-20","cited_by_count":4,"area":null},{"id":"2402.06697","title":"Feed-Forward Neural Networks as a Mixed-Integer Program","created":"2024-02-09","cited_by_count":4,"area":null},{"id":"2407.01295","title":"Towards Formal Verification of Deep Neural Networks for Object Detection","created":"2024-07-01","cited_by_count":4,"area":null},{"id":"2407.07088","title":"Safe and Reliable Training of Learning-Based Aerospace Controllers","created":"2024-07-09","cited_by_count":4,"area":"deeprl"},{"id":"2505.05235","title":"Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation","created":"2025-05-08","cited_by_count":4,"area":null},{"id":"2512.00164","title":"Faster Verified Explanations for Neural Networks","created":"2025-11-28","cited_by_count":4,"area":null},{"id":"2108.00491","title":"Certified Defense via Latent Space Randomized Smoothing with Orthogonal Encoders","created":"2021-08-01","cited_by_count":3,"area":null},{"id":"2203.07078","title":"A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks","created":"2022-03-11","cited_by_count":3,"area":null},{"id":"2301.11342","title":"A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks","created":"2023-01-26","cited_by_count":3,"area":null},{"id":"2303.05394","title":"A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems","created":"2023-03-07","cited_by_count":3,"area":null},{"id":"2305.03626","title":"Verifiable Learning for Robust Tree Ensembles","created":"2023-05-05","cited_by_count":3,"area":null},{"id":"2305.18558","title":"DelBugV: Delta-Debugging Neural Network Verifiers","created":"2023-05-29","cited_by_count":3,"area":null},{"id":"2404.08285","title":"A Survey of Neural Network Robustness Assessment in Image Recognition","created":"2024-04-12","cited_by_count":3,"area":null},{"id":"2410.01617","title":"On Using Certified Training towards Empirical Robustness","created":"2024-10-02","cited_by_count":3,"area":null},{"id":"2104.12418","title":"Fast Falsification of Neural Networks using Property Directed Testing","created":"2021-04-26","cited_by_count":2,"area":null},{"id":"2106.03099","title":"A Primer on Multi-Neuron Relaxation-based Adversarial Robustness Certification","created":"2021-06-06","cited_by_count":2,"area":null},{"id":"2106.05325","title":"ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs","created":"2021-06-09","cited_by_count":2,"area":null},{"id":"2212.07553","title":"Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes","created":"2022-12-14","cited_by_count":2,"area":null},{"id":"2301.13807","title":"Identifying the Hazard Boundary of ML-enabled Autonomous Systems Using Cooperative Co-Evolutionary Search","created":"2023-01-31","cited_by_count":2,"area":null},{"id":"2302.06455","title":"Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks","created":"2023-02-10","cited_by_count":2,"area":null},{"id":"2302.10344","title":"Model-based feature selection for neural networks: A mixed-integer programming approach","created":"2023-02-20","cited_by_count":2,"area":null},{"id":"2304.13019","title":"Certifying Ensembles: A General Certification Theory with S-Lipschitzness","created":"2023-04-25","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":"2502.16286","title":"Verification of Bit-Flip Attacks against Quantized Neural Networks","created":"2025-02-22","cited_by_count":2,"area":null},{"id":"2507.05405","title":"Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification","created":"2025-07-07","cited_by_count":2,"area":null},{"id":"2108.06871","title":"Data Efficient Human Intention Prediction: Leveraging Neural Network Verification and Expert Guidance","created":"2021-08-16","cited_by_count":1,"area":null},{"id":"2112.07007","title":"Optimizing over an ensemble of neural networks","created":"2021-12-13","cited_by_count":1,"area":null},{"id":"2201.04429","title":"Constraint Learning to Define Trust Regions in Predictive-Model Embedded Optimization","created":"2022-01-12","cited_by_count":1,"area":null},{"id":"2202.02429","title":"Verifying Inverse Model Neural Networks","created":"2022-02-04","cited_by_count":1,"area":null},{"id":"2206.10235","title":"Riemannian data-dependent randomized smoothing for neural networks certification","created":"2022-06-21","cited_by_count":1,"area":null},{"id":"2301.12001","title":"Vertex-based reachability analysis for verifying ReLU deep neural networks","created":"2023-01-27","cited_by_count":1,"area":null},{"id":"2304.07980","title":"RNN-Guard: Certified Robustness Against Multi-frame Attacks for Recurrent Neural Networks","created":"2023-04-17","cited_by_count":1,"area":null},{"id":"2306.15403","title":"Verifying Safety of Neural Networks from Topological Perspectives","created":"2023-06-27","cited_by_count":1,"area":null},{"id":"2502.03274","title":"A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification","created":"2025-02-05","cited_by_count":1,"area":"lr"}],"next_cursor":"100"}