{"total":22,"rows":[{"id":"2201.01978","title":"An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks","created":"2022-01-06","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":"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":"2304.03496","title":"Architecture-Preserving Provable Repair of Deep Neural Networks","created":"2023-04-07","cited_by_count":11,"area":null},{"id":"2106.01917","title":"SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks","created":"2021-06-03","cited_by_count":6,"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":"2405.07668","title":"CrossCert: A Cross-Checking Detection Approach to Patch Robustness Certification for Deep Learning Models","created":"2024-05-13","cited_by_count":3,"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":"2509.21677","title":"Prophecy: Inferring Formal Properties from Neuron Activations","created":"2025-09-25","cited_by_count":2,"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":"2312.13632","title":"TraceFL: Interpretability-Driven Debugging in Federated Learning via Neuron Provenance","created":"2023-12-21","cited_by_count":1,"area":null},{"id":"2401.14628","title":"Inferring Data Preconditions from Deep Learning Models for Trustworthy Prediction in Deployment","created":"2024-01-26","cited_by_count":1,"area":null},{"id":"2602.10780","title":"Kill it with FIRE: On Leveraging Latent Space Directions for Runtime Backdoor Mitigation in Deep Neural Networks","created":"2026-02-11","cited_by_count":1,"area":null},{"id":"2604.00938","title":"WARP: Guaranteed Inner-Layer Repair of NLP Transformers","created":"2026-04-01","cited_by_count":1,"area":null},{"id":"2306.13793","title":"QNNRepair: Quantized Neural Network Repair","created":"2023-06-23","cited_by_count":0,"area":null},{"id":"2310.18987","title":"Path Analysis for Effective Fault Localization in Deep Neural Networks","created":"2023-10-29","cited_by_count":0,"area":null},{"id":"2401.03790","title":"Inferring Properties of Graph Neural Networks","created":"2024-01-08","cited_by_count":0,"area":null},{"id":"2610.05190","title":"FORGE: Verification-Gated Behavioral Repair for Generative Language Models","created":"2026-10-04","cited_by_count":0,"area":null},{"id":"2610.05277","title":"Mind the Gaps: From Failure Attribution to Closed-Form Repair of Code Language Models","created":"2026-10-04","cited_by_count":0,"area":null}],"next_cursor":null}