{"total":36,"rows":[{"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":"2301.05815","title":"First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)","created":"2023-01-14","cited_by_count":58,"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":"2302.01404","title":"Provably Bounding Neural Network Preimages","created":"2023-02-02","cited_by_count":29,"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":"2207.02715","title":"Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes","created":"2022-07-06","cited_by_count":24,"area":null},{"id":"2203.03153","title":"Scalable Verification of GNN-based Job Schedulers","created":"2022-03-07","cited_by_count":19,"area":null},{"id":"2303.01713","title":"Convex Bounds on the Softmax Function with Applications to Robustness Verification","created":"2023-03-03","cited_by_count":19,"area":null},{"id":"2209.14076","title":"Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems","created":"2022-09-28","cited_by_count":18,"area":null},{"id":"2102.03824","title":"Neural Termination Analysis","created":"2021-02-07","cited_by_count":16,"area":null},{"id":"2110.01388","title":"Neural Network Verification in Control","created":"2021-09-30","cited_by_count":14,"area":null},{"id":"2111.08922","title":"Traversing the Local Polytopes of ReLU Neural Networks: A Unified Approach for Network Verification","created":"2021-11-17","cited_by_count":13,"area":null},{"id":"2112.05745","title":"A Simple and Efficient Sampling-based Algorithm for General Reachability Analysis","created":"2021-12-10","cited_by_count":12,"area":null},{"id":"2109.06728","title":"Learning Density Distribution of Reachable States for Autonomous Systems","created":"2021-09-14","cited_by_count":11,"area":null},{"id":"2306.17418","title":"ReLU Neural Networks, Polyhedral Decompositions, and Persistent Homolog","created":"2023-06-30","cited_by_count":10,"area":null},{"id":"2204.08319","title":"Backward Reachability Analysis for Neural Feedback Loops","created":"2022-04-14","cited_by_count":9,"area":null},{"id":"2408.09262","title":"PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks","created":"2024-08-17","cited_by_count":8,"area":null},{"id":"2210.07918","title":"A Hybrid Partitioning Strategy for Backward Reachability of Neural Feedback Loops","created":"2022-10-14","cited_by_count":6,"area":null},{"id":"2210.08339","title":"Reachable Polyhedral Marching (RPM): An Exact Analysis Tool for Deep-Learned Control Systems","created":"2022-10-15","cited_by_count":6,"area":null},{"id":"2212.04646","title":"DRIP: Domain Refinement Iteration with Polytopes for Backward Reachability Analysis of Neural Feedback Loops","created":"2022-12-09","cited_by_count":6,"area":null},{"id":"2212.08578","title":"Provable Fairness for Neural Network Models using Formal Verification","created":"2022-12-16","cited_by_count":6,"area":null},{"id":"2107.07696","title":"Constrained Feedforward Neural Network Training via Reachability Analysis","created":"2021-07-16","cited_by_count":5,"area":null},{"id":"2212.01544","title":"Probabilistic Verification of ReLU Neural Networks via Characteristic Functions","created":"2022-12-03","cited_by_count":5,"area":null},{"id":"2206.03482","title":"Chordal Sparsity for SDP-based Neural Network Verification","created":"2022-06-07","cited_by_count":4,"area":null},{"id":"2301.12893","title":"Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq","created":"2023-01-30","cited_by_count":4,"area":null},{"id":"2406.04476","title":"Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis","created":"2024-06-06","cited_by_count":3,"area":null},{"id":"2508.09732","title":"Predictive Uncertainty for Runtime Assurance of a Real-Time Computer Vision-Based Landing System","created":"2025-08-13","cited_by_count":3,"area":null},{"id":"2509.21007","title":"Marching Neurons: Accurate Surface Extraction for Neural Implicit Shapes","created":"2025-09-25","cited_by_count":3,"area":null},{"id":"2212.07553","title":"Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes","created":"2022-12-14","cited_by_count":2,"area":null},{"id":"2505.03643","title":"BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems","created":"2025-05-06","cited_by_count":2,"area":null},{"id":"2505.22798","title":"Efficient Preimage Approximation for Neural Network Certification","created":"2025-05-28","cited_by_count":2,"area":null},{"id":"2209.08073","title":"Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning","created":"2022-09-16","cited_by_count":1,"area":null},{"id":"2504.16879","title":"Learning Verifiable Control Policies Using Relaxed Verification","created":"2025-04-23","cited_by_count":1,"area":null},{"id":"2603.08964","title":"The FABRIC Strategy for Verifying Neural Feedback Systems","created":"2026-03-09","cited_by_count":1,"area":null},{"id":"2304.01826","title":"CGDTest: A Constrained Gradient Descent Algorithm for Testing Neural Networks","created":"2023-04-04","cited_by_count":0,"area":null},{"id":"2507.04523","title":"Verification of Visual Controllers via Compositional Geometric Transformations","created":"2025-07-06","cited_by_count":0,"area":null}],"next_cursor":null}