{"total":20,"rows":[{"id":"2105.01984","title":"Software Engineering for AI-Based Systems: A Survey","created":"2021-05-05","cited_by_count":69,"area":null},{"id":"2401.05778","title":"Risk Taxonomy, Mitigation, and Assessment Benchmarks of Large Language Model Systems","created":"2024-01-11","cited_by_count":66,"area":null},{"id":"2102.01564","title":"Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS)","created":"2021-02-02","cited_by_count":42,"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":"2308.00143","title":"Formally Explaining Neural Networks within Reactive Systems","created":"2023-07-31","cited_by_count":24,"area":null},{"id":"2202.03898","title":"Verification-Aided Deep Ensemble Selection","created":"2022-02-08","cited_by_count":18,"area":null},{"id":"2302.04634","title":"Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study","created":"2023-02-06","cited_by_count":18,"area":null},{"id":"2110.09929","title":"Minimal Multi-Layer Modifications of Deep Neural Networks","created":"2021-10-18","cited_by_count":14,"area":null},{"id":"2304.06715","title":"Evaluating the Robustness of Interpretability Methods through Explanation Invariance and Equivariance","created":"2023-04-13","cited_by_count":14,"area":null},{"id":"2102.01979","title":"Key Technology Considerations in Developing and Deploying Machine Learning Models in Clinical Radiology Practice","created":"2021-02-03","cited_by_count":6,"area":null},{"id":"2305.18558","title":"DelBugV: Delta-Debugging Neural Network Verifiers","created":"2023-05-29","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":"2305.18372","title":"Assumption Generation for the Verification of Learning-Enabled Autonomous Systems","created":"2023-05-27","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":"2204.00103","title":"Scalable Whitebox Attacks on Tree-based Models","created":"2022-03-31","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":"2306.17323","title":"Scaling Model Checking for DNN Analysis via State-Space Reduction and Input Segmentation (Extended Version)","created":"2023-06-29","cited_by_count":0,"area":null},{"id":"2403.16768","title":"DeepKnowledge: Generalisation-Driven Deep Learning Testing","created":"2024-03-25","cited_by_count":0,"area":null},{"id":"2510.19328","title":"Clustered Calibration: Representation-Aware Probability Calibration via Learned Subpopulations","created":"2025-10-22","cited_by_count":0,"area":null},{"id":"2511.06197","title":"Enhancing Adversarial Robustness of IoT Intrusion Detection via SHAP-Based Attribution Fingerprinting","created":"2025-11-09","cited_by_count":0,"area":null}],"next_cursor":null}