{"total":73,"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":"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":"2104.02466","title":"A Review of Formal Methods applied to Machine Learning","created":"2021-04-06","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":"2306.12688","title":"Towards quantum enhanced adversarial robustness in machine learning","created":"2023-06-22","cited_by_count":28,"area":null},{"id":"2112.09197","title":"Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes","created":"2021-12-16","cited_by_count":26,"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":"2105.13649","title":"Pruning and Slicing Neural Networks using Formal Verification","created":"2021-05-28","cited_by_count":20,"area":null},{"id":"2108.04214","title":"Neural Network Repair with Reachability Analysis","created":"2021-08-09","cited_by_count":19,"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":"2103.07224","title":"BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks","created":"2021-03-12","cited_by_count":17,"area":null},{"id":"2102.03824","title":"Neural Termination Analysis","created":"2021-02-07","cited_by_count":16,"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":"2101.08153","title":"Shielding Atari Games with Bounded Prescience","created":"2021-01-20","cited_by_count":14,"area":null},{"id":"2207.06531","title":"Reachability Analysis of a General Class of Neural Ordinary Differential Equations","created":"2022-07-13","cited_by_count":13,"area":null},{"id":"2101.10102","title":"Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning","created":"2021-01-25","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":"2406.04184","title":"Shield Synthesis for LTL Modulo Theories","created":"2024-06-06","cited_by_count":12,"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":"2201.13351","title":"LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions","created":"2022-01-31","cited_by_count":10,"area":null},{"id":"2212.02781","title":"QEBVerif: Quantization Error Bound Verification of Neural Networks","created":"2022-12-06","cited_by_count":9,"area":null},{"id":"2107.02732","title":"Provable Lipschitz Certification for Generative Models","created":"2021-07-06","cited_by_count":7,"area":null},{"id":"2402.10998","title":"Provably Safe Neural Network Controllers via Differential Dynamic Logic","created":"2024-02-16","cited_by_count":7,"area":null},{"id":"2407.01639","title":"ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks","created":"2024-06-30","cited_by_count":7,"area":null},{"id":"2408.13140","title":"Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation","created":"2024-08-23","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":"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":"2205.06992","title":"Verifying Neural Networks Against Backdoor Attacks","created":"2022-05-14","cited_by_count":5,"area":null},{"id":"2311.07377","title":"Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach","created":"2023-11-13","cited_by_count":5,"area":null},{"id":"2407.06697","title":"Certified Continual Learning for Neural Network Regression","created":"2024-07-09","cited_by_count":5,"area":null},{"id":"2502.12267","title":"NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS","created":"2025-02-17","cited_by_count":5,"area":null},{"id":"2106.12074","title":"Reachability Analysis of Convolutional Neural Networks","created":"2021-06-22","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":"2301.12893","title":"Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq","created":"2023-01-30","cited_by_count":4,"area":null},{"id":"2405.17556","title":"Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound","created":"2024-05-27","cited_by_count":4,"area":null},{"id":"2508.09320","title":"Exact Verification of Graph Neural Networks with Incremental Constraint Solving","created":"2025-08-12","cited_by_count":4,"area":null},{"id":"2511.08198","title":"Proof Minimization in Neural Network Verification","created":"2025-11-11","cited_by_count":4,"area":null},{"id":"2208.14403","title":"Verifiable Obstacle Detection","created":"2022-08-30","cited_by_count":3,"area":null},{"id":"2305.18558","title":"DelBugV: Delta-Debugging Neural Network Verifiers","created":"2023-05-29","cited_by_count":3,"area":null},{"id":"2306.14619","title":"Verification of Neural Network Control Systems using Symbolic Zonotopes and Polynotopes","created":"2023-06-26","cited_by_count":3,"area":null},{"id":"2501.13023","title":"Provably-Safe Neural Network Training Using Hybrid Zonotope Reachability Analysis","created":"2025-01-22","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":"2509.11838","title":"Probabilistic Robustness Analysis in High Dimensional Space: Application to Semantic Segmentation Network","created":"2025-09-15","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":"2307.13907","title":"Robustness Verification of Deep Neural Networks using Star-Based Reachability Analysis with Variable-Length Time Series Input","created":"2023-07-26","cited_by_count":2,"area":null},{"id":"2410.10554","title":"ROSAR: An Adversarial Re-Training Framework for Robust Side-Scan Sonar Object Detection","created":"2024-10-14","cited_by_count":2,"area":null},{"id":"2501.14009","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","created":"2025-01-23","cited_by_count":2,"area":null},{"id":"2502.16286","title":"Verification of Bit-Flip Attacks against Quantized Neural Networks","created":"2025-02-22","cited_by_count":2,"area":null},{"id":"2512.07766","title":"Formalized Hopfield Networks and Boltzmann Machines","created":"2025-12-08","cited_by_count":2,"area":null},{"id":"2108.11651","title":"Scalable and Modular Robustness Analysis of Deep Neural Networks","created":"2021-08-26","cited_by_count":1,"area":null},{"id":"2209.01710","title":"Perception Simplex: Verifiable Collision Avoidance in Autonomous Vehicles Amidst Obstacle Detection Faults","created":"2022-09-04","cited_by_count":1,"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":"2405.17049","title":"Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization","created":"2024-05-27","cited_by_count":1,"area":null},{"id":"2508.15454","title":"Mini-Batch Robustness Verification of Deep Neural Networks","created":"2025-08-21","cited_by_count":1,"area":null},{"id":"2207.06759","title":"Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool","created":"2022-07-14","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":"2301.11806","title":"PCV: A Point Cloud-Based Network Verifier","created":"2023-01-27","cited_by_count":0,"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":"2402.11737","title":"Compression Repair for Feedforward Neural Networks Based on Model Equivalence Evaluation","created":"2024-02-18","cited_by_count":0,"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":"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":"2503.00308","title":"Abstract Rendering: Computing All that is Seen in Gaussian Splat Scenes","created":"2025-03-01","cited_by_count":0,"area":null},{"id":"2503.10840","title":"Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes","created":"2025-03-13","cited_by_count":0,"area":null},{"id":"2604.14209","title":"Towards Verified and Targeted Explanations through Formal Methods","created":"2026-04-05","cited_by_count":0,"area":null},{"id":"2606.09746","title":"Hybrid Robustness Verification for Spatio-Temporal Neural Networks","created":"2026-06-08","cited_by_count":0,"area":null},{"id":"2606.30935","title":"ShardNet: Training Neural Controllers with Hard, Non-Convex Constraints","created":"2026-06-29","cited_by_count":0,"area":null},{"id":"2609.30050","title":"NNV3: Expanding Neural Network Verification to New Architectures and Domains","created":"2026-09-24","cited_by_count":0,"area":null}],"next_cursor":null}