{"total":23,"rows":[{"id":"2210.13915","title":"Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks","created":"2022-10-25","cited_by_count":42,"area":null},{"id":"2205.13536","title":"Verifying Learning-Based Robotic Navigation Systems","created":"2022-05-26","cited_by_count":33,"area":null},{"id":"2308.00143","title":"Formally Explaining Neural Networks within Reactive Systems","created":"2023-07-31","cited_by_count":24,"area":null},{"id":"2206.00512","title":"Neural Network Verification with Proof Production","created":"2022-06-01","cited_by_count":22,"area":null},{"id":"2202.03898","title":"Verification-Aided Deep Ensemble Selection","created":"2022-02-08","cited_by_count":18,"area":null},{"id":"2212.03287","title":"veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System","created":"2022-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":"2206.09603","title":"Constrained Reinforcement Learning for Robotics via Scenario-Based Programming","created":"2022-06-20","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":"2302.05745","title":"Verifying Generalization in Deep Learning","created":"2023-02-11","cited_by_count":11,"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":"2210.12871","title":"Tighter Abstract Queries in Neural Network Verification","created":"2022-10-23","cited_by_count":8,"area":null},{"id":"2402.00035","title":"Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing","created":"2024-01-08","cited_by_count":8,"area":null},{"id":"2208.07669","title":"On Optimizing Back-Substitution Methods for Neural Network Verification","created":"2022-08-16","cited_by_count":6,"area":null},{"id":"2305.01932","title":"Fully Automatic Neural Network Reduction for Formal Verification","created":"2023-05-03","cited_by_count":6,"area":null},{"id":"2506.09455","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","created":"2025-06-11","cited_by_count":5,"area":null},{"id":"2305.18558","title":"DelBugV: Delta-Debugging Neural Network Verifiers","created":"2023-05-29","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":"2505.00963","title":"Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification","created":"2025-05-02","cited_by_count":2,"area":null},{"id":"2308.03330","title":"Expediting Neural Network Verification via Network Reduction","created":"2023-08-07","cited_by_count":1,"area":null},{"id":"2404.01642","title":"Patch Synthesis for Property Repair of Deep Neural Networks","created":"2024-04-02","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":"2607.28954","title":"Mining Verdict Boundaries for Neural Network Verification","created":"2026-07-31","cited_by_count":0,"area":null}],"next_cursor":null}