{"total":13,"rows":[{"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":"2201.01978","title":"An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks","created":"2022-01-06","cited_by_count":24,"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":"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":"2106.12074","title":"Reachability Analysis of Convolutional Neural Networks","created":"2021-06-22","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":"2408.11160","title":"Statistical Challenges with Dataset Construction: Why You Will Never Have Enough Images","created":"2024-08-20","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":"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":"2301.11806","title":"PCV: A Point Cloud-Based Network Verifier","created":"2023-01-27","cited_by_count":0,"area":null},{"id":"2311.12130","title":"Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach","created":"2023-11-16","cited_by_count":0,"area":null},{"id":"2605.23203","title":"Lipschitz Optimization for Formal Verification of Homographies","created":"2026-05-22","cited_by_count":0,"area":null},{"id":"2607.18195","title":"Certified Training for Convolutional Perturbations","created":"2026-07-20","cited_by_count":0,"area":null}],"next_cursor":null}