{"total":43,"rows":[{"id":"2305.11391","title":"A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation","created":"2023-05-19","cited_by_count":93,"area":null},{"id":"2305.10862","title":"How Deep Learning Sees the World: A Survey on Adversarial Attacks & Defenses","created":"2023-05-18","cited_by_count":66,"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":"2101.11118","title":"Can Offline Testing of Deep Neural Networks Replace Their Online Testing?","created":"2021-01-26","cited_by_count":24,"area":null},{"id":"2212.08507","title":"Robust Explanation Constraints for Neural Networks","created":"2022-12-16","cited_by_count":24,"area":null},{"id":"2403.07937","title":"Speech Robust Bench: A Robustness Benchmark For Speech Recognition","created":"2024-03-08","cited_by_count":21,"area":null},{"id":"2201.09186","title":"pvCNN: Privacy-Preserving and Verifiable Convolutional Neural Network Testing","created":"2022-01-23","cited_by_count":20,"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":"2103.07633","title":"Attack as Defense: Characterizing Adversarial Examples using Robustness","created":"2021-03-13","cited_by_count":14,"area":null},{"id":"2306.03048","title":"From Robustness to Explainability and Back Again","created":"2023-06-05","cited_by_count":14,"area":null},{"id":"2101.10102","title":"Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning","created":"2021-01-25","cited_by_count":12,"area":null},{"id":"2202.03930","title":"If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components","created":"2022-02-08","cited_by_count":11,"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":"2404.00897","title":"Machine Learning Robustness: A Primer","created":"2024-04-01","cited_by_count":8,"area":null},{"id":"2306.13614","title":"Adversarial Robustness Certification for Bayesian Neural Networks","created":"2023-06-23","cited_by_count":7,"area":null},{"id":"2406.13433","title":"Certification for Differentially Private Prediction in Gradient-Based Training","created":"2024-06-19","cited_by_count":7,"area":null},{"id":"2104.14435","title":"Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes","created":"2021-04-25","cited_by_count":6,"area":null},{"id":"2309.11196","title":"When to Trust AI: Advances and Challenges for Certification of Neural Networks","created":"2023-09-20","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":"2112.12792","title":"Understanding and Measuring Robustness of Multimodal Learning","created":"2021-12-22","cited_by_count":5,"area":null},{"id":"2205.00210","title":"Software Testing for Machine Learning","created":"2022-04-30","cited_by_count":5,"area":null},{"id":"2206.06054","title":"Specifying and Testing $k$-Safety Properties for Machine-Learning Models","created":"2022-06-13","cited_by_count":5,"area":null},{"id":"2207.05078","title":"Keep your Distance: Determining Sampling and Distance Thresholds in Machine Learning Monitoring","created":"2022-07-11","cited_by_count":4,"area":null},{"id":"2209.05446","title":"Boosting Robustness Verification of Semantic Feature Neighborhoods","created":"2022-09-12","cited_by_count":4,"area":null},{"id":"2307.09375","title":"CertPri: Certifiable Prioritization for Deep Neural Networks via Movement Cost in Feature Space","created":"2023-07-18","cited_by_count":4,"area":null},{"id":"2102.06585","title":"A Computability Perspective on (Verified) Machine Learning","created":"2021-02-12","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":"2408.08448","title":"Exploring Cross-model Neuronal Correlations in the Context of Predicting Model Performance and Generalizability","created":"2024-08-15","cited_by_count":3,"area":null},{"id":"2204.10046","title":"Testing robustness of predictions of trained classifiers against naturally occurring perturbations","created":"2022-04-21","cited_by_count":2,"area":null},{"id":"2302.06455","title":"Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks","created":"2023-02-10","cited_by_count":2,"area":null},{"id":"2103.03704","title":"Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features","created":"2021-03-05","cited_by_count":1,"area":null},{"id":"2105.04383","title":"A framework for the automation of testing computer vision systems","created":"2021-05-10","cited_by_count":1,"area":null},{"id":"2401.17062","title":"Outline of an Independent Systematic Blackbox Test for ML-based Systems","created":"2024-01-30","cited_by_count":1,"area":null},{"id":"2507.09881","title":"Counterfactual Visual Explanation via Causally-Guided Adversarial Steering","created":"2025-07-14","cited_by_count":1,"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":"2202.07464","title":"Excitement Surfeited Turns to Errors: Deep Learning Testing Framework Based on Excitable Neurons","created":"2022-02-12","cited_by_count":0,"area":null},{"id":"2402.06966","title":"DeepCover: Advancing RNN Test Coverage and Online Error Prediction using State Machine Extraction","created":"2024-02-10","cited_by_count":0,"area":null},{"id":"2404.01642","title":"Patch Synthesis for Property Repair of Deep Neural Networks","created":"2024-04-02","cited_by_count":0,"area":null},{"id":"2408.06766","title":"Robust Black-box Testing of Deep Neural Networks using Co-Domain Coverage","created":"2024-08-13","cited_by_count":0,"area":null},{"id":"2509.03242","title":"TopoMap: A Feature-based Semantic Discriminator of the Topographical Regions in the Test Input Space","created":"2025-09-03","cited_by_count":0,"area":null},{"id":"2606.09746","title":"Hybrid Robustness Verification for Spatio-Temporal Neural Networks","created":"2026-06-08","cited_by_count":0,"area":null},{"id":"2609.24397","title":"Probabilistic Modelling of Operational Design Domains, A New Approach for Testing AI Systems","created":"2026-09-21","cited_by_count":0,"area":null},{"id":"2610.06238","title":"Certification-Enhanced Generalization Bounds","created":"2026-10-05","cited_by_count":0,"area":null}],"next_cursor":null}