{"total":22,"rows":[{"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":"2305.00241","title":"When Deep Learning Meets Polyhedral Theory: A Survey","created":"2023-04-29","cited_by_count":39,"area":null},{"id":"2108.04214","title":"Neural Network Repair with Reachability Analysis","created":"2021-08-09","cited_by_count":19,"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":"2111.08922","title":"Traversing the Local Polytopes of ReLU Neural Networks: A Unified Approach for Network Verification","created":"2021-11-17","cited_by_count":13,"area":null},{"id":"2301.12456","title":"Towards Verifying the Geometric Robustness of Large-scale Neural Networks","created":"2023-01-29","cited_by_count":11,"area":null},{"id":"2101.03263","title":"SyReNN: A Tool for Analyzing Deep Neural Networks","created":"2021-01-09","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":"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":"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":"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":"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":"2106.12074","title":"Reachability Analysis of Convolutional Neural Networks","created":"2021-06-22","cited_by_count":4,"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":"2301.12001","title":"Vertex-based reachability analysis for verifying ReLU deep neural networks","created":"2023-01-27","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":"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":"2401.12550","title":"UR4NNV: Neural Network Verification, Under-approximation Reachability Works!","created":"2024-01-23","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":"2603.00408","title":"Exact and Asymptotically Complete Robust Verifications of Neural Networks via Ising Solvers","created":"2026-02-28","cited_by_count":0,"area":null}],"next_cursor":null}