{"total":40,"rows":[{"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":"2105.07091","title":"Verification of Image-based Neural Network Controllers Using Generative Models","created":"2021-05-14","cited_by_count":27,"area":null},{"id":"2203.03153","title":"Scalable Verification of GNN-based Job Schedulers","created":"2022-03-07","cited_by_count":19,"area":null},{"id":"2203.15841","title":"NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing","created":"2022-03-29","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":"2209.04766","title":"Towards Sparsification of Graph Neural Networks","created":"2022-09-11","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":"2408.03915","title":"Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation","created":"2024-08-07","cited_by_count":11,"area":null},{"id":"2203.07671","title":"Safe Neurosymbolic Learning with Differentiable Symbolic Execution","created":"2022-03-15","cited_by_count":9,"area":null},{"id":"2301.07912","title":"Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers","created":"2023-01-19","cited_by_count":9,"area":null},{"id":"2105.10134","title":"Certification of Iterative Predictions in Bayesian Neural Networks","created":"2021-05-21","cited_by_count":8,"area":null},{"id":"2301.12100","title":"Reachability Analysis of Neural Network Control Systems","created":"2023-01-28","cited_by_count":8,"area":null},{"id":"2405.18554","title":"Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling","created":"2024-05-28","cited_by_count":8,"area":null},{"id":"2408.09224","title":"Neuro-Symbolic AI for Military Applications","created":"2024-08-17","cited_by_count":7,"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":"2102.10806","title":"Provably Correct Training of Neural Network Controllers Using Reachability Analysis","created":"2021-02-22","cited_by_count":5,"area":null},{"id":"2104.10219","title":"Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning","created":"2021-04-20","cited_by_count":5,"area":null},{"id":"2211.14438","title":"BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic","created":"2022-11-22","cited_by_count":5,"area":null},{"id":"2305.13508","title":"DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation","created":"2023-05-22","cited_by_count":5,"area":null},{"id":"2310.01951","title":"Probabilistic Reach-Avoid for Bayesian Neural Networks","created":"2023-10-03","cited_by_count":5,"area":null},{"id":"2408.00117","title":"Certifying Robustness of Learning-Based Keypoint Detection and Pose Estimation Methods","created":"2024-07-31","cited_by_count":4,"area":null},{"id":"2109.14041","title":"Local Repair of Neural Networks Using Optimization","created":"2021-09-28","cited_by_count":3,"area":null},{"id":"2303.05394","title":"A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems","created":"2023-03-07","cited_by_count":3,"area":null},{"id":"2103.05142","title":"Formal Verification of Stochastic Systems with ReLU Neural Network Controllers","created":"2021-03-08","cited_by_count":2,"area":null},{"id":"2406.02024","title":"Verifying the Generalization of Deep Learning to Out-of-Distribution Domains","created":"2024-06-04","cited_by_count":2,"area":null},{"id":"2302.06572","title":"EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency","created":"2023-02-13","cited_by_count":1,"area":null},{"id":"2510.05261","title":"ECLipsE-Gen-Local: Efficient Compositional Local Lipschitz Estimates for Deep Neural Networks","created":"2025-10-06","cited_by_count":1,"area":null},{"id":"2609.10951","title":"Testing Between the Test Cases: Proving End-to-End Steering in Conditions You Never Drove","created":"2026-09-10","cited_by_count":1,"area":null},{"id":"2207.03884","title":"NExG: Provable and Guided State Space Exploration of Neural Network Control Systems using Sensitivity Approximation","created":"2022-07-08","cited_by_count":0,"area":null},{"id":"2211.11127","title":"Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training","created":"2022-11-21","cited_by_count":0,"area":null},{"id":"2212.14115","title":"Certifying Safety in Reinforcement Learning under Adversarial Perturbation Attacks","created":"2022-12-28","cited_by_count":0,"area":null},{"id":"2302.12493","title":"SEO: Safety-Aware Energy Optimization Framework for Multi-Sensor Neural Controllers at the Edge","created":"2023-02-24","cited_by_count":0,"area":null},{"id":"2311.10863","title":"Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks","created":"2023-11-17","cited_by_count":0,"area":null},{"id":"2411.03328","title":"Foundation Models for Rapid Autonomy Validation","created":"2024-10-22","cited_by_count":0,"area":null},{"id":"2411.14163","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","created":"2024-11-21","cited_by_count":0,"area":null},{"id":"2505.12767","title":"Language Models That Walk the Talk: A Framework for Formal Fairness Certificates","created":"2025-05-19","cited_by_count":0,"area":null},{"id":"2603.05604","title":"From Decoupled to Coupled: Robustness Verification for Learning-based Keypoint Detection with Joint Specifications","created":"2026-03-05","cited_by_count":0,"area":null},{"id":"2606.23754","title":"Verifiable Foundation Models for Robot Safety","created":"2026-06-22","cited_by_count":0,"area":null}],"next_cursor":null}