{"total":18,"rows":[{"id":"2308.09842","title":"Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees","created":"2023-08-18","cited_by_count":19,"area":null},{"id":"2202.03898","title":"Verification-Aided Deep Ensemble Selection","created":"2022-02-08","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":"2302.05745","title":"Verifying Generalization in Deep Learning","created":"2023-02-11","cited_by_count":11,"area":null},{"id":"2407.01639","title":"ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks","created":"2024-06-30","cited_by_count":7,"area":null},{"id":"2112.08091","title":"Ensuring DNN Solution Feasibility for Optimization Problems with Convex Constraints and Its Application to DC Optimal Power Flow Problems","created":"2021-12-15","cited_by_count":6,"area":null},{"id":"2404.08517","title":"Online Safety Analysis for LLMs: a Benchmark, an Assessment, and a Path Forward","created":"2024-04-12","cited_by_count":6,"area":null},{"id":"2207.04117","title":"Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents","created":"2022-07-08","cited_by_count":5,"area":null},{"id":"2406.08315","title":"Improving Policy Optimization via $\\varepsilon$-Retrain","created":"2024-06-12","cited_by_count":5,"area":null},{"id":"2305.03365","title":"Repairing Deep Neural Networks Based on Behavior Imitation","created":"2023-05-05","cited_by_count":4,"area":null},{"id":"2305.18558","title":"DelBugV: Delta-Debugging Neural Network Verifiers","created":"2023-05-29","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":"2501.13023","title":"Provably-Safe Neural Network Training Using Hybrid Zonotope Reachability Analysis","created":"2025-01-22","cited_by_count":3,"area":null},{"id":"2512.23745","title":"A Comprehensive Study of Deep Learning Model Fixing Approaches","created":"2025-12-26","cited_by_count":2,"area":null},{"id":"2212.07278","title":"Backdoor Mitigation in Deep Neural Networks via Strategic Retraining","created":"2022-12-14","cited_by_count":1,"area":null},{"id":"2303.07917","title":"Reachability Analysis of Neural Networks with Uncertain Parameters","created":"2023-03-14","cited_by_count":0,"area":null},{"id":"2408.03892","title":"MORTAR: A Model-based Runtime Action Repair Framework for AI-enabled Cyber-Physical Systems","created":"2024-08-07","cited_by_count":0,"area":null},{"id":"2604.21556","title":"Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation","created":"2026-04-23","cited_by_count":0,"area":null}],"next_cursor":null}