{"total":32,"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":"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":"2212.01051","title":"VeriX: Towards Verified Explainability of Deep Neural Networks","created":"2022-12-02","cited_by_count":30,"area":null},{"id":"2212.08507","title":"Robust Explanation Constraints for Neural Networks","created":"2022-12-16","cited_by_count":24,"area":null},{"id":"2303.01713","title":"Convex Bounds on the Softmax Function with Applications to Robustness Verification","created":"2023-03-03","cited_by_count":19,"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":"2306.03048","title":"From Robustness to Explainability and Back Again","created":"2023-06-05","cited_by_count":14,"area":null},{"id":"2101.03924","title":"The Vulnerability of Semantic Segmentation Networks to Adversarial Attacks in Autonomous Driving: Enhancing Extensive Environment Sensing","created":"2021-01-11","cited_by_count":12,"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":"2106.13997","title":"The Feasibility and Inevitability of Stealth Attacks","created":"2021-06-26","cited_by_count":12,"area":null},{"id":"2111.05468","title":"Sparse Adversarial Video Attacks with Spatial Transformations","created":"2021-11-10","cited_by_count":11,"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":"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":"2203.17081","title":"Interpretation of Black Box NLP Models: A Survey","created":"2022-03-31","cited_by_count":9,"area":null},{"id":"2109.11602","title":"Chess AI: Competing Paradigms for Machine Intelligence","created":"2021-09-23","cited_by_count":8,"area":null},{"id":"2301.12100","title":"Reachability Analysis of Neural Network Control Systems","created":"2023-01-28","cited_by_count":8,"area":null},{"id":"2212.11746","title":"Certified Policy Smoothing for Cooperative Multi-Agent Reinforcement Learning","created":"2022-12-22","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":"2101.00989","title":"Fooling Object Detectors: Adversarial Attacks by Half-Neighbor Masks","created":"2021-01-04","cited_by_count":6,"area":null},{"id":"2307.11784","title":"What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems","created":"2023-07-20","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":"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":"2106.00512","title":"The Care Label Concept: A Certification Suite for Trustworthy and Resource-Aware Machine Learning","created":"2021-06-01","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":"2305.15684","title":"Perturbation-based Self-supervised Attention for Attention Bias in Text Classification","created":"2023-05-25","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":"2404.01642","title":"Patch Synthesis for Property Repair of Deep Neural Networks","created":"2024-04-02","cited_by_count":0,"area":null},{"id":"2405.13217","title":"Interactive Simulations of Backdoors in Neural Networks","created":"2024-05-21","cited_by_count":0,"area":null},{"id":"2511.06495","title":"Probably Approximately Global Robustness Certification","created":"2025-11-09","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}],"next_cursor":null}