{"total":33,"rows":[{"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":"2201.01978","title":"An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks","created":"2022-01-06","cited_by_count":24,"area":null},{"id":"2208.14878","title":"Formalising the Robustness of Counterfactual Explanations for Neural Networks","created":"2022-08-31","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":"2309.12545","title":"Provably Robust and Plausible Counterfactual Explanations for Neural Networks via Robust Optimisation","created":"2023-09-22","cited_by_count":20,"area":null},{"id":"2202.03898","title":"Verification-Aided Deep Ensemble Selection","created":"2022-02-08","cited_by_count":18,"area":null},{"id":"2301.09559","title":"SpArX: Sparse Argumentative Explanations for Neural Networks [Technical Report]","created":"2023-01-23","cited_by_count":18,"area":null},{"id":"2305.03686","title":"Provable Preimage Under-Approximation for Neural Networks (Full Version)","created":"2023-05-05","cited_by_count":14,"area":null},{"id":"2207.00759","title":"Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks","created":"2022-07-02","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":"2210.12871","title":"Tighter Abstract Queries in Neural Network Verification","created":"2022-10-23","cited_by_count":8,"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":"2404.13736","title":"Interval Abstractions for Robust Counterfactual Explanations","created":"2024-04-21","cited_by_count":7,"area":null},{"id":"2110.03726","title":"Bisimulations for Neural Network Reduction","created":"2021-10-07","cited_by_count":6,"area":null},{"id":"2305.01932","title":"Fully Automatic Neural Network Reduction for Formal Verification","created":"2023-05-03","cited_by_count":6,"area":null},{"id":"2307.06299","title":"Towards a Certified Proof Checker for Deep Neural Network Verification","created":"2023-07-12","cited_by_count":6,"area":null},{"id":"2407.07482","title":"Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations","created":"2024-07-10","cited_by_count":6,"area":null},{"id":"2106.06931","title":"Learning on Abstract Domains: A New Approach for Verifiable Guarantee in Reinforcement Learning","created":"2021-06-13","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":"2312.08287","title":"On the verification of Embeddings using Hybrid Markov Logic","created":"2023-12-13","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":"2106.12732","title":"Online Verification of Deep Neural Networks under Domain Shift or Network Updates","created":"2021-06-24","cited_by_count":1,"area":null},{"id":"2303.11552","title":"Boosting Verified Training for Robust Image Classifications via Abstraction","created":"2023-03-21","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.09578","title":"Permutation Invariance of Deep Neural Networks with ReLUs","created":"2021-10-18","cited_by_count":0,"area":null},{"id":"2203.00295","title":"A Domain-Theoretic Framework for Robustness Analysis of Neural Networks","created":"2022-03-01","cited_by_count":0,"area":null},{"id":"2210.12054","title":"Towards Global Neural Network Abstractions with Locally-Exact Reconstruction","created":"2022-10-21","cited_by_count":0,"area":null},{"id":"2211.08706","title":"Efficiently Finding Adversarial Examples with DNN Preprocessing","created":"2022-11-16","cited_by_count":0,"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":"2307.10891","title":"Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks","created":"2023-07-20","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":"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}