{"total":25,"rows":[{"id":"2110.07719","title":"Certified Patch Robustness via Smoothed Vision Transformers","created":"2021-10-11","cited_by_count":45,"area":null},{"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":"2310.19704","title":"A Survey on Knowledge Editing of Neural Networks","created":"2023-10-30","cited_by_count":34,"area":null},{"id":"2105.07091","title":"Verification of Image-based Neural Network Controllers Using Generative Models","created":"2021-05-14","cited_by_count":27,"area":null},{"id":"2108.04214","title":"Neural Network Repair with Reachability Analysis","created":"2021-08-09","cited_by_count":19,"area":null},{"id":"2110.07682","title":"Sound and Complete Neural Network Repair with Minimality and Locality Guarantees","created":"2021-10-14","cited_by_count":13,"area":null},{"id":"2201.06626","title":"Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachability","created":"2022-01-17","cited_by_count":8,"area":null},{"id":"2405.18554","title":"Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling","created":"2024-05-28","cited_by_count":8,"area":null},{"id":"2108.07961","title":"Verifying Low-dimensional Input Neural Networks via Input Quantization","created":"2021-08-18","cited_by_count":7,"area":null},{"id":"2306.13614","title":"Adversarial Robustness Certification for Bayesian Neural Networks","created":"2023-06-23","cited_by_count":7,"area":null},{"id":"2402.10998","title":"Provably Safe Neural Network Controllers via Differential Dynamic Logic","created":"2024-02-16","cited_by_count":7,"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":"2103.01203","title":"Generating Probabilistic Safety Guarantees for Neural Network Controllers","created":"2021-03-01","cited_by_count":4,"area":null},{"id":"2306.11203","title":"AVOIDDS: Aircraft Vision-based Intruder Detection Dataset and Simulator","created":"2023-06-19","cited_by_count":4,"area":null},{"id":"2405.17556","title":"Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound","created":"2024-05-27","cited_by_count":4,"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":"2105.02595","title":"Scaling up Memory-Efficient Formal Verification Tools for Tree Ensembles","created":"2021-05-06","cited_by_count":2,"area":null},{"id":"2110.08260","title":"Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks","created":"2021-10-14","cited_by_count":1,"area":null},{"id":"2601.22118","title":"Defining Operational Conditions for Safety-Critical AI-Based Systems from Data","created":"2026-01-29","cited_by_count":1,"area":null},{"id":"2604.02198","title":"From High-Dimensional Spaces to Verifiable ODD Coverage for Safety-Critical AI-based Systems","created":"2026-04-02","cited_by_count":1,"area":null},{"id":"2310.06228","title":"Evolution of Natural Language Processing Technology: Not Just Language Processing Towards General Purpose AI","created":"2023-10-10","cited_by_count":0,"area":null},{"id":"2507.22760","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","created":"2025-07-30","cited_by_count":0,"area":null},{"id":"2510.20916","title":"Aircraft Collision Avoidance Systems: Technological Challenges and Solutions on the Path to Regulatory Acceptance","created":"2025-10-23","cited_by_count":0,"area":null},{"id":"2608.20053","title":"On the Applicability of Safety Nets: A Safety-By-Design Solution for Certifying Neural Networks","created":"2026-08-20","cited_by_count":0,"area":null},{"id":"2608.20864","title":"Coverage-Driven Verification for Safety-by-Design in AI-Based Collision Avoidance Systems","created":"2026-08-21","cited_by_count":0,"area":null}],"next_cursor":null}