{"total":30,"rows":[{"id":"2107.12045","title":"How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review","created":"2021-07-26","cited_by_count":39,"area":null},{"id":"2203.14195","title":"How to Robustify Black-Box ML Models? A Zeroth-Order Optimization Perspective","created":"2022-03-27","cited_by_count":39,"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":"2110.09929","title":"Minimal Multi-Layer Modifications of Deep Neural Networks","created":"2021-10-18","cited_by_count":14,"area":null},{"id":"2304.01874","title":"Incremental Verification of Neural Networks","created":"2023-04-04","cited_by_count":14,"area":null},{"id":"2212.11138","title":"QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks","created":"2022-12-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":"2304.06430","title":"Certified Zeroth-order Black-Box Defense with Robust UNet Denoiser","created":"2023-04-13","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":"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":"2206.03044","title":"CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness","created":"2022-06-07","cited_by_count":9,"area":null},{"id":"2410.23903","title":"Neural Network Verification with PyRAT","created":"2024-10-31","cited_by_count":9,"area":null},{"id":"2210.12871","title":"Tighter Abstract Queries in Neural Network Verification","created":"2022-10-23","cited_by_count":8,"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":"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":"2210.04175","title":"Safety Verification for Neural Networks Based on Set-boundary Analysis","created":"2022-10-09","cited_by_count":5,"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":"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":"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":"2103.03472","title":"A Novel Framework for Threat Analysis of Machine Learning-based Smart Healthcare Systems","created":"2021-03-05","cited_by_count":1,"area":null},{"id":"2304.00813","title":"Model-Agnostic Reachability Analysis on Deep Neural Networks","created":"2023-04-03","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":"2103.12141","title":"Performance Bounds for Neural Network Estimators: Applications in Fault Detection","created":"2021-03-22","cited_by_count":0,"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":"2201.10436","title":"Safe AI -- How is this Possible?","created":"2022-01-25","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":"2407.02700","title":"A simple algorithm for output range analysis for deep neural networks","created":"2024-07-02","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}