{"total":35,"rows":[{"id":"2401.14461","title":"Marabou 2.0: A Versatile Formal Analyzer of Neural Networks","created":"2024-01-25","cited_by_count":81,"area":null},{"id":"2109.00498","title":"The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results","created":"2021-08-31","cited_by_count":71,"area":null},{"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":"2212.10376","title":"The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results","created":"2022-12-20","cited_by_count":39,"area":null},{"id":"2108.01220","title":"OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems","created":"2021-08-03","cited_by_count":38,"area":null},{"id":"2105.11931","title":"Towards Scalable Verification of Deep Reinforcement Learning","created":"2021-05-25","cited_by_count":33,"area":null},{"id":"2205.13536","title":"Verifying Learning-Based Robotic Navigation Systems","created":"2022-05-26","cited_by_count":33,"area":null},{"id":"2212.01051","title":"VeriX: Towards Verified Explainability of Deep Neural Networks","created":"2022-12-02","cited_by_count":30,"area":null},{"id":"2201.01978","title":"An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks","created":"2022-01-06","cited_by_count":24,"area":null},{"id":"2203.11201","title":"Efficient Neural Network Analysis with Sum-of-Infeasibilities","created":"2022-03-19","cited_by_count":24,"area":null},{"id":"2307.10266","title":"A DPLL(T) Framework for Verifying Deep Neural Networks","created":"2023-07-17","cited_by_count":24,"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":"2105.13649","title":"Pruning and Slicing Neural Networks using Formal Verification","created":"2021-05-28","cited_by_count":20,"area":null},{"id":"2203.03153","title":"Scalable Verification of GNN-based Job Schedulers","created":"2022-03-07","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":"2103.01629","title":"DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers","created":"2021-03-02","cited_by_count":11,"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":"2302.05745","title":"Verifying Generalization in Deep Learning","created":"2023-02-11","cited_by_count":11,"area":null},{"id":"2110.11088","title":"RoMA: a Method for Neural Network Robustness Measurement and Assessment","created":"2021-10-21","cited_by_count":10,"area":null},{"id":"2210.12871","title":"Tighter Abstract Queries in Neural Network Verification","created":"2022-10-23","cited_by_count":8,"area":null},{"id":"2107.11445","title":"Self-Correcting Neural Networks For Safe Classification","created":"2021-07-23","cited_by_count":4,"area":null},{"id":"2209.05446","title":"Boosting Robustness Verification of Semantic Feature Neighborhoods","created":"2022-09-12","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":"2503.12083","title":"PICID: Proof-Driven Clause Learning in Neural Network Verification","created":"2025-03-15","cited_by_count":3,"area":null},{"id":"2106.05325","title":"ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs","created":"2021-06-09","cited_by_count":2,"area":null},{"id":"2209.01411","title":"Negative Selection Approach to support Formal Verification and Validation of BlackBox Models' Input Constraints","created":"2022-09-03","cited_by_count":2,"area":null},{"id":"2302.12538","title":"UnbiasedNets: A Dataset Diversification Framework for Robustness Bias Alleviation in Neural Networks","created":"2023-02-24","cited_by_count":2,"area":null},{"id":"2405.10924","title":"Boosting Few-Pixel Robustness Verification via Covering Verification Designs","created":"2024-05-17","cited_by_count":2,"area":null},{"id":"2603.12232","title":"Incremental Neural Network Verification via Learned Conflicts","created":"2026-03-12","cited_by_count":2,"area":null},{"id":"2607.17290","title":"Lookahead Branching for Neural Network Verification","created":"2026-07-19","cited_by_count":1,"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":"2310.20299","title":"Verification of Neural Networks Local Differential Classification Privacy","created":"2023-10-31","cited_by_count":0,"area":null},{"id":"2606.04121","title":"veriFIRE: an Industrial Case Study in Verifying Consistency Properties for a DNN-Based Wildfire Detection System","created":"2026-06-02","cited_by_count":0,"area":null}],"next_cursor":null}