{"total":64,"rows":[{"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":"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":"2106.08890","title":"ModelDiff: Testing-Based DNN Similarity Comparison for Model Reuse Detection","created":"2021-06-11","cited_by_count":33,"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":"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":"2112.01771","title":"Understanding Performance Problems in Deep Learning Systems","created":"2021-12-03","cited_by_count":12,"area":null},{"id":"2112.02807","title":"MDPFuzz: Testing Models Solving Markov Decision Processes","created":"2021-12-06","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":"2501.05867","title":"Neural Network Verification is a Programming Language Challenge","created":"2025-01-10","cited_by_count":12,"area":null},{"id":"2112.01955","title":"Revisiting Neuron Coverage for DNN Testing: A Layer-Wise and Distribution-Aware Criterion","created":"2021-12-03","cited_by_count":11,"area":null},{"id":"2202.09947","title":"Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation","created":"2022-02-21","cited_by_count":10,"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":"2110.09843","title":"AequeVox: Automated Fairness Testing of Speech Recognition Systems","created":"2021-10-19","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":"2304.05727","title":"Preemptively Pruning Clever-Hans Strategies in Deep Neural Networks","created":"2023-04-12","cited_by_count":9,"area":null},{"id":"2207.10495","title":"Generating and Detecting True Ambiguity: A Forgotten Danger in DNN Supervision Testing","created":"2022-07-21","cited_by_count":8,"area":null},{"id":"2304.03674","title":"Machine Learning with Requirements: a Manifesto","created":"2023-04-07","cited_by_count":8,"area":null},{"id":"2404.00897","title":"Machine Learning Robustness: A Primer","created":"2024-04-01","cited_by_count":8,"area":null},{"id":"2111.13330","title":"ArchRepair: Block-Level Architecture-Oriented Repairing for Deep Neural Networks","created":"2021-11-26","cited_by_count":7,"area":null},{"id":"2105.02540","title":"Distribution Awareness for AI System Testing","created":"2021-05-06","cited_by_count":6,"area":null},{"id":"2301.03553","title":"FedDebug: Systematic Debugging for Federated Learning Applications","created":"2023-01-09","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":"2205.00210","title":"Software Testing for Machine Learning","created":"2022-04-30","cited_by_count":5,"area":null},{"id":"2208.01508","title":"COMET: Coverage-guided Model Generation For Deep Learning Library Testing","created":"2022-08-02","cited_by_count":4,"area":null},{"id":"2303.06032","title":"Exploring Adversarial Attacks on Neural Networks: An Explainable Approach","created":"2023-03-08","cited_by_count":4,"area":null},{"id":"2310.06800","title":"Test & Evaluation Best Practices for Machine Learning-Enabled Systems","created":"2023-10-10","cited_by_count":4,"area":null},{"id":"2204.13963","title":"Tailored Uncertainty Estimation for Deep Learning Systems","created":"2022-04-29","cited_by_count":3,"area":null},{"id":"2207.06282","title":"DiverGet: A Search-Based Software Testing Approach for Deep Neural Network Quantization Assessment","created":"2022-07-13","cited_by_count":3,"area":null},{"id":"2302.06086","title":"Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects","created":"2023-02-13","cited_by_count":3,"area":null},{"id":"2306.07995","title":"Semantic-Based Neural Network Repair","created":"2023-06-12","cited_by_count":3,"area":null},{"id":"2309.03617","title":"NeuroCodeBench: a plain C neural network benchmark for software verification","created":"2023-09-07","cited_by_count":3,"area":null},{"id":"2405.08848","title":"Automated Repair of AI Code with Large Language Models and Formal Verification","created":"2024-05-14","cited_by_count":3,"area":null},{"id":"2109.12926","title":"ML4ML: Automated Invariance Testing for Machine Learning Models","created":"2021-09-27","cited_by_count":2,"area":null},{"id":"2204.00694","title":"Testing Feedforward Neural Networks Training Programs","created":"2022-04-01","cited_by_count":2,"area":null},{"id":"2303.06151","title":"NoiseCAM: Explainable AI for the Boundary Between Noise and Adversarial Attacks","created":"2023-03-09","cited_by_count":2,"area":null},{"id":"2505.00963","title":"Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification","created":"2025-05-02","cited_by_count":2,"area":null},{"id":"2102.06162","title":"Defuse: Harnessing Unrestricted Adversarial Examples for Debugging Models Beyond Test Accuracy","created":"2021-02-11","cited_by_count":1,"area":null},{"id":"2112.01956","title":"Provably Valid and Diverse Mutations of Real-World Media Data for DNN Testing","created":"2021-12-03","cited_by_count":1,"area":null},{"id":"2112.02819","title":"Finding Deviated Behaviors of the Compressed DNN Models for Image Classifications","created":"2021-12-06","cited_by_count":1,"area":null},{"id":"2204.03994","title":"LaF: Labeling-Free Model Selection for Automated Deep Neural Network Reusing","created":"2022-04-08","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":"2401.00379","title":"DREAM: Debugging and Repairing AutoML Pipelines","created":"2023-12-31","cited_by_count":1,"area":null},{"id":"2604.05461","title":"Content Fuzzing for Escaping Information Cocoons on Digital Social Media","created":"2026-04-07","cited_by_count":1,"area":null},{"id":"2201.10436","title":"Safe AI -- How is this Possible?","created":"2022-01-25","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":"2208.09286","title":"Background Invariance Testing According to Semantic Proximity","created":"2022-08-19","cited_by_count":0,"area":null},{"id":"2211.14667","title":"Deep Fake Detection, Deterrence and Response: Challenges and Opportunities","created":"2022-11-26","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":"2303.03400","title":"Testing the Channels of Convolutional Neural Networks","created":"2023-03-06","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":"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":"2404.10782","title":"Quantifying AI Vulnerabilities: A Synthesis of Complexity, Dynamical Systems, and Game Theory","created":"2024-04-07","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":"2503.17630","title":"Generating Realistic, Diverse, and Fault-Revealing Inputs with Latent Space Interpolation for Testing Deep Neural Networks","created":"2025-03-22","cited_by_count":0,"area":null},{"id":"2504.02329","title":"Towards Assessing Deep Learning Test Input Generators","created":"2025-04-03","cited_by_count":0,"area":null},{"id":"2507.17453","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","created":"2025-07-23","cited_by_count":0,"area":null},{"id":"2509.06977","title":"Toward Reproducible Cross-Backend Compatibility for Deep Learning: A Configuration-First Framework with Three-Tier Verification","created":"2025-08-29","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":"2602.15552","title":"Latent Regularization in Generative Test Input Generation","created":"2026-02-17","cited_by_count":0,"area":null},{"id":"2606.04310","title":"Latent Anchor-Driven Test Generation for Deep Neural Networks","created":"2026-06-03","cited_by_count":0,"area":null},{"id":"2606.04314","title":"Testing Neural Networks via Bayesian-Guided Exploration of Decision Landscapes","created":"2026-06-03","cited_by_count":0,"area":null},{"id":"2609.36525","title":"Reliability Testing of Medical Model Performance under Distributed Deployment","created":"2026-09-29","cited_by_count":0,"area":null}],"next_cursor":null}