{"total":37,"rows":[{"id":"2103.03638","title":"PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations","created":"2021-03-05","cited_by_count":77,"area":null},{"id":"2405.21063","title":"Neural Network Verification with Branch-and-Bound for General Nonlinearities","created":"2024-05-31","cited_by_count":47,"area":null},{"id":"2210.07394","title":"Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation","created":"2022-10-13","cited_by_count":45,"area":null},{"id":"2107.12045","title":"How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review","created":"2021-07-26","cited_by_count":39,"area":null},{"id":"2305.00241","title":"When Deep Learning Meets Polyhedral Theory: A Survey","created":"2023-04-29","cited_by_count":39,"area":null},{"id":"2205.13536","title":"Verifying Learning-Based Robotic Navigation Systems","created":"2022-05-26","cited_by_count":33,"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":"2206.00512","title":"Neural Network Verification with Proof Production","created":"2022-06-01","cited_by_count":22,"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":"2206.03669","title":"Toward Certified Robustness Against Real-World Distribution Shifts","created":"2022-06-08","cited_by_count":16,"area":null},{"id":"2403.10144","title":"NLP Verification: Towards a General Methodology for Certifying Robustness","created":"2024-03-15","cited_by_count":16,"area":null},{"id":"2104.00447","title":"Towards Evaluating and Training Verifiably Robust Neural Networks","created":"2021-04-01","cited_by_count":15,"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":"2406.04184","title":"Shield Synthesis for LTL Modulo Theories","created":"2024-06-06","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":"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":"2208.09872","title":"Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks","created":"2022-08-21","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":"2210.00973","title":"NCVX: A General-Purpose Optimization Solver for Constrained Machine and Deep Learning","created":"2022-10-03","cited_by_count":7,"area":null},{"id":"2303.13401","title":"Optimization and Optimizers for Adversarial Robustness","created":"2023-03-23","cited_by_count":6,"area":null},{"id":"2404.18791","title":"Certification of Speaker Recognition Models to Additive Perturbations","created":"2024-04-29","cited_by_count":6,"area":null},{"id":"2301.11912","title":"OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks","created":"2023-01-27","cited_by_count":5,"area":null},{"id":"2511.08198","title":"Proof Minimization in Neural Network Verification","created":"2025-11-11","cited_by_count":4,"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":"2305.16998","title":"A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation","created":"2023-05-26","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":"2408.10491","title":"Achieving the Tightest Relaxation of Sigmoids for Formal Verification","created":"2024-08-20","cited_by_count":2,"area":null},{"id":"2211.09810","title":"Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone","created":"2022-11-13","cited_by_count":1,"area":null},{"id":"2308.03330","title":"Expediting Neural Network Verification via Network Reduction","created":"2023-08-07","cited_by_count":1,"area":null},{"id":"2110.06816","title":"A Framework for Verification of Wasserstein Adversarial Robustness","created":"2021-10-13","cited_by_count":0,"area":null},{"id":"2211.09945","title":"VeriCompress: A Tool to Streamline the Synthesis of Verified Robust Compressed Neural Networks from Scratch","created":"2022-11-17","cited_by_count":0,"area":null},{"id":"2211.11186","title":"DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation","created":"2022-11-21","cited_by_count":0,"area":null},{"id":"2406.00699","title":"Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation","created":"2024-06-02","cited_by_count":0,"area":null},{"id":"2606.20292","title":"Shifting-based Optimizable Linear Relaxations for General Activation Functions","created":"2026-06-18","cited_by_count":0,"area":null}],"next_cursor":null}