{"total":80,"rows":[{"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":"2109.00498","title":"The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results","created":"2021-08-31","cited_by_count":71,"area":null},{"id":"2301.05815","title":"First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)","created":"2023-01-14","cited_by_count":58,"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":"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":"2104.02466","title":"A Review of Formal Methods applied to Machine Learning","created":"2021-04-06","cited_by_count":33,"area":null},{"id":"2203.11201","title":"Efficient Neural Network Analysis with Sum-of-Infeasibilities","created":"2022-03-19","cited_by_count":24,"area":null},{"id":"2105.12841","title":"DNNV: A Framework for Deep Neural Network Verification","created":"2021-05-26","cited_by_count":23,"area":null},{"id":"2108.04214","title":"Neural Network Repair with Reachability Analysis","created":"2021-08-09","cited_by_count":19,"area":null},{"id":"2203.03153","title":"Scalable Verification of GNN-based Job Schedulers","created":"2022-03-07","cited_by_count":19,"area":null},{"id":"2207.02036","title":"PRoA: A Probabilistic Robustness Assessment against Functional Perturbations","created":"2022-07-05","cited_by_count":19,"area":null},{"id":"2303.01713","title":"Convex Bounds on the Softmax Function with Applications to Robustness Verification","created":"2023-03-03","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":"2206.03669","title":"Toward Certified Robustness Against Real-World Distribution Shifts","created":"2022-06-08","cited_by_count":16,"area":null},{"id":"2110.01388","title":"Neural Network Verification in Control","created":"2021-09-30","cited_by_count":14,"area":null},{"id":"2111.13557","title":"On Recurrent Neural Networks for learning-based control: recent results and ideas for future developments","created":"2021-11-26","cited_by_count":14,"area":null},{"id":"2310.09360","title":"Exact Verification of ReLU Neural Control Barrier Functions","created":"2023-10-13","cited_by_count":14,"area":null},{"id":"2501.05867","title":"Neural Network Verification is a Programming Language Challenge","created":"2025-01-10","cited_by_count":12,"area":null},{"id":"2109.06728","title":"Learning Density Distribution of Reachable States for Autonomous Systems","created":"2021-09-14","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":"2112.10593","title":"Benchmarking Safe Deep Reinforcement Learning in Aquatic Navigation","created":"2021-12-16","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.15429","title":"ProTIP: Probabilistic Robustness Verification on Text-to-Image Diffusion Models against Stochastic Perturbation","created":"2024-02-23","cited_by_count":10,"area":"diffusion"},{"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":"2208.09872","title":"Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks","created":"2022-08-21","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":"2404.15065","title":"Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure","created":"2024-04-23","cited_by_count":8,"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":"2110.03726","title":"Bisimulations for Neural Network Reduction","created":"2021-10-07","cited_by_count":6,"area":null},{"id":"2210.07918","title":"A Hybrid Partitioning Strategy for Backward Reachability of Neural Feedback Loops","created":"2022-10-14","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":"2305.01932","title":"Fully Automatic Neural Network Reduction for Formal Verification","created":"2023-05-03","cited_by_count":6,"area":null},{"id":"2108.10451","title":"Adversarial Robustness of Deep Learning: Theory, Algorithms, and Applications","created":"2021-08-24","cited_by_count":5,"area":null},{"id":"2202.05207","title":"Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers","created":"2022-02-10","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.02736","title":"Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis","created":"2022-11-04","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":"2106.12074","title":"Reachability Analysis of Convolutional Neural Networks","created":"2021-06-22","cited_by_count":4,"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":"2212.08567","title":"Optimized Symbolic Interval Propagation for Neural Network Verification","created":"2022-12-15","cited_by_count":4,"area":null},{"id":"2408.00117","title":"Certifying Robustness of Learning-Based Keypoint Detection and Pose Estimation Methods","created":"2024-07-31","cited_by_count":4,"area":null},{"id":"2202.01214","title":"Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression","created":"2022-02-02","cited_by_count":3,"area":null},{"id":"2211.16187","title":"Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks","created":"2022-11-29","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.18558","title":"DelBugV: Delta-Debugging Neural Network Verifiers","created":"2023-05-29","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":"2404.08285","title":"A Survey of Neural Network Robustness Assessment in Image Recognition","created":"2024-04-12","cited_by_count":3,"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":"2301.07531","title":"Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction","created":"2023-01-17","cited_by_count":2,"area":null},{"id":"2107.12801","title":"Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method","created":"2021-07-27","cited_by_count":1,"area":null},{"id":"2209.08073","title":"Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning","created":"2022-09-16","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.13811","title":"A Data-Driven Hybrid Automaton Framework to Modeling Complex Dynamical Systems","created":"2023-04-26","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":"2406.10154","title":"Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks","created":"2024-06-14","cited_by_count":1,"area":null},{"id":"2409.20517","title":"SMLE: Safe Machine Learning via Embedded Overapproximation","created":"2024-09-30","cited_by_count":1,"area":null},{"id":"2504.08414","title":"Adversarial Examples in Environment Perception for Automated Driving (Review)","created":"2025-04-11","cited_by_count":1,"area":null},{"id":"2106.11881","title":"Failing with Grace: Learning Neural Network Controllers that are Boundedly Unsafe","created":"2021-06-22","cited_by_count":0,"area":null},{"id":"2110.09578","title":"Permutation Invariance of Deep Neural Networks with ReLUs","created":"2021-10-18","cited_by_count":0,"area":null},{"id":"2207.06759","title":"Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool","created":"2022-07-14","cited_by_count":0,"area":null},{"id":"2211.11186","title":"DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation","created":"2022-11-21","cited_by_count":0,"area":null},{"id":"2301.11806","title":"PCV: A Point Cloud-Based Network Verifier","created":"2023-01-27","cited_by_count":0,"area":null},{"id":"2304.13812","title":"Guaranteed Quantization Error Computation for Neural Network Model Compression","created":"2023-04-26","cited_by_count":0,"area":null},{"id":"2306.17323","title":"Scaling Model Checking for DNN Analysis via State-Space Reduction and Input Segmentation (Extended Version)","created":"2023-06-29","cited_by_count":0,"area":null},{"id":"2311.10780","title":"Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions","created":"2023-11-16","cited_by_count":0,"area":null},{"id":"2401.12550","title":"UR4NNV: Neural Network Verification, Under-approximation Reachability Works!","created":"2024-01-23","cited_by_count":0,"area":null},{"id":"2402.11737","title":"Compression Repair for Feedforward Neural Networks Based on Model Equivalence Evaluation","created":"2024-02-18","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":"2510.00519","title":"Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems","created":"2025-10-01","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":"2603.05604","title":"From Decoupled to Coupled: Robustness Verification for Learning-based Keypoint Detection with Joint Specifications","created":"2026-03-05","cited_by_count":0,"area":null},{"id":"2603.05677","title":"Scalable Digital Compute-in-Memory Ising Machines for Robustness Verification of Binary Neural Networks","created":"2026-03-05","cited_by_count":0,"area":null},{"id":"2609.38504","title":"An Empirical Study of Architectural Shift from Traditional to AI-Enabled Simulink Controllers","created":"2026-09-29","cited_by_count":0,"area":null}],"next_cursor":null}