{"total":51,"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":"2105.01984","title":"Software Engineering for AI-Based Systems: A Survey","created":"2021-05-05","cited_by_count":69,"area":null},{"id":"2104.04413","title":"Provable Repair of Deep Neural Networks","created":"2021-04-09","cited_by_count":42,"area":null},{"id":"2206.12227","title":"Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective","created":"2022-06-24","cited_by_count":42,"area":null},{"id":"2104.14235","title":"Inspect, Understand, Overcome: A Survey of Practical Methods for AI Safety","created":"2021-04-29","cited_by_count":35,"area":null},{"id":"2102.13602","title":"Distribution-Aware Testing of Neural Networks Using Generative Models","created":"2021-02-26","cited_by_count":22,"area":null},{"id":"2212.06140","title":"Fairify: Fairness Verification of Neural Networks","created":"2022-12-08","cited_by_count":22,"area":null},{"id":"2203.00938","title":"Neuro-Symbolic Verification of Deep Neural Networks","created":"2022-03-02","cited_by_count":21,"area":null},{"id":"2211.01340","title":"POLICE: Provably Optimal Linear Constraint Enforcement for Deep Neural Networks","created":"2022-11-02","cited_by_count":19,"area":null},{"id":"2203.12915","title":"NPC: Neuron Path Coverage via Characterizing Decision Logic of Deep Neural Networks","created":"2022-03-24","cited_by_count":18,"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":"2206.07813","title":"A Search-Based Testing Approach for Deep Reinforcement Learning Agents","created":"2022-06-15","cited_by_count":13,"area":null},{"id":"2112.01771","title":"Understanding Performance Problems in Deep Learning Systems","created":"2021-12-03","cited_by_count":12,"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":"2103.01259","title":"Uncertainty Quantification by Ensemble Learning for Computational Optical Form Measurements","created":"2021-03-01","cited_by_count":11,"area":null},{"id":"2111.05468","title":"Sparse Adversarial Video Attacks with Spatial Transformations","created":"2021-11-10","cited_by_count":11,"area":null},{"id":"2207.00759","title":"Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks","created":"2022-07-02","cited_by_count":11,"area":null},{"id":"2110.09843","title":"AequeVox: Automated Fairness Testing of Speech Recognition Systems","created":"2021-10-19","cited_by_count":9,"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":"2212.02781","title":"QEBVerif: Quantization Error Bound Verification of Neural Networks","created":"2022-12-06","cited_by_count":9,"area":null},{"id":"2205.08589","title":"Hierarchical Distribution-Aware Testing of Deep Learning","created":"2022-05-17","cited_by_count":8,"area":null},{"id":"2105.02540","title":"Distribution Awareness for AI System Testing","created":"2021-05-06","cited_by_count":6,"area":null},{"id":"2111.08856","title":"Fairness Testing of Deep Image Classification with Adequacy Metrics","created":"2021-11-17","cited_by_count":6,"area":null},{"id":"2108.06514","title":"Active Assessment of Prediction Services as Accuracy Surface Over Attribute Combinations","created":"2021-08-14","cited_by_count":5,"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":"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":"2103.00124","title":"NEUROSPF: A tool for the Symbolic Analysis of Neural Networks","created":"2021-02-27","cited_by_count":4,"area":null},{"id":"2208.03407","title":"An Overview of Structural Coverage Metrics for Testing Neural Networks","created":"2022-08-05","cited_by_count":3,"area":null},{"id":"2306.14814","title":"Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains","created":"2023-06-26","cited_by_count":3,"area":null},{"id":"2307.11011","title":"Neuron Sensitivity Guided Test Case Selection for Deep Learning Testing","created":"2023-07-20","cited_by_count":3,"area":null},{"id":"2409.09130","title":"FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection","created":"2024-09-13","cited_by_count":3,"area":null},{"id":"2112.15277","title":"Machine Learning Application Development: Practitioners' Insights","created":"2021-12-31","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":"2204.10027","title":"Is Neuron Coverage Needed to Make Person Detection More Robust?","created":"2022-04-21","cited_by_count":1,"area":null},{"id":"2307.11563","title":"Feature Map Testing for Deep Neural Networks","created":"2023-07-21","cited_by_count":1,"area":null},{"id":"2312.10911","title":"The Pros and Cons of Adversarial Robustness","created":"2023-12-18","cited_by_count":1,"area":null},{"id":"2401.00379","title":"DREAM: Debugging and Repairing AutoML Pipelines","created":"2023-12-31","cited_by_count":1,"area":null},{"id":"2410.24214","title":"ARQ: A Mixed-Precision Quantization Framework for Accurate and Certifiably Robust DNNs","created":"2024-10-31","cited_by_count":1,"area":null},{"id":"2103.04578","title":"Testing Autonomous Systems with Believed Equivalence Refinement","created":"2021-03-08","cited_by_count":0,"area":null},{"id":"2110.03320","title":"Automated Testing of AI Models","created":"2021-10-07","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.03837","title":"Understanding the Complexity and Its Impact on Testing in ML-Enabled Systems","created":"2023-01-10","cited_by_count":0,"area":null},{"id":"2306.13793","title":"QNNRepair: Quantized Neural Network Repair","created":"2023-06-23","cited_by_count":0,"area":null},{"id":"2306.16854","title":"On the Relationship Between RNN Hidden State Vectors and Semantic Ground Truth","created":"2023-06-29","cited_by_count":0,"area":null},{"id":"2310.19124","title":"Good Tools are Half the Work: Tool Usage in Deep Learning Projects","created":"2023-10-29","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":"2505.14967","title":"Anomaly Detection Based on Critical Paths for Deep Neural Networks","created":"2025-05-20","cited_by_count":0,"area":null},{"id":"2509.23806","title":"Influence-Guided Concolic Testing of Transformer Robustness","created":"2025-09-28","cited_by_count":0,"area":null},{"id":"2510.03320","title":"Attack logics, not outputs: Towards efficient robustification of deep neural networks by falsifying concept-based properties","created":"2025-10-01","cited_by_count":0,"area":null},{"id":"2607.12863","title":"Toward Localizing and Repairing Bias in Transformer Attention Heads","created":"2026-07-14","cited_by_count":0,"area":null}],"next_cursor":null}