{"total":92,"rows":[{"id":"2208.05740","title":"General Cutting Planes for Bound-Propagation-Based Neural Network Verification","created":"2022-08-11","cited_by_count":103,"area":null},{"id":"2401.14461","title":"Marabou 2.0: A Versatile Formal Analyzer of Neural Networks","created":"2024-01-25","cited_by_count":81,"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":"2210.04871","title":"Certified Training: Small Boxes are All You Need","created":"2022-10-10","cited_by_count":52,"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":"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":"2305.00241","title":"When Deep Learning Meets Polyhedral Theory: A Survey","created":"2023-04-29","cited_by_count":39,"area":null},{"id":"2501.00200","title":"Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes","created":"2024-12-31","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":"2302.01404","title":"Provably Bounding Neural Network Preimages","created":"2023-02-02","cited_by_count":29,"area":null},{"id":"2306.10426","title":"Understanding Certified Training with Interval Bound Propagation","created":"2023-06-17","cited_by_count":26,"area":null},{"id":"2307.10266","title":"A DPLL(T) Framework for Verifying Deep Neural Networks","created":"2023-07-17","cited_by_count":24,"area":null},{"id":"2305.13991","title":"Expressive Losses for Verified Robustness via Convex Combinations","created":"2023-05-23","cited_by_count":23,"area":null},{"id":"2206.14772","title":"IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound","created":"2022-06-29","cited_by_count":21,"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":"2304.01874","title":"Incremental Verification of Neural Networks","created":"2023-04-04","cited_by_count":14,"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":"2306.03048","title":"From Robustness to Explainability and Back Again","created":"2023-06-05","cited_by_count":14,"area":null},{"id":"2310.09360","title":"Exact Verification of ReLU Neural Control Barrier Functions","created":"2023-10-13","cited_by_count":14,"area":null},{"id":"2406.04848","title":"CTBENCH: A Library and Benchmark for Certified Training","created":"2024-06-07","cited_by_count":14,"area":null},{"id":"2304.03496","title":"Architecture-Preserving Provable Repair of Deep Neural Networks","created":"2023-04-07","cited_by_count":11,"area":null},{"id":"2305.04574","title":"TAPS: Connecting Certified and Adversarial Training","created":"2023-05-08","cited_by_count":11,"area":null},{"id":"2602.16823","title":"Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees","created":"2026-02-18","cited_by_count":11,"area":"mechinterp"},{"id":"2305.10157","title":"Efficient Error Certification for Physics-Informed Neural Networks","created":"2023-05-17","cited_by_count":10,"area":null},{"id":"2206.03044","title":"CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness","created":"2022-06-07","cited_by_count":9,"area":null},{"id":"2410.23903","title":"Neural Network Verification with PyRAT","created":"2024-10-31","cited_by_count":9,"area":null},{"id":"2512.11087","title":"Clip-and-Verify: Linear Constraint-Driven Domain Clipping for Accelerating Neural Network Verification","created":"2025-12-11","cited_by_count":9,"area":null},{"id":"2404.15065","title":"Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure","created":"2024-04-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":"2405.15994","title":"Verified Safe Reinforcement Learning for Neural Network Dynamic Models","created":"2024-05-25","cited_by_count":7,"area":"deeprl"},{"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":"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":"2401.14961","title":"Set-Based Training for Neural Network Verification","created":"2024-01-26","cited_by_count":6,"area":null},{"id":"2403.07956","title":"DeepCDCL: An CDCL-based Neural Network Verification Framework","created":"2024-03-12","cited_by_count":6,"area":null},{"id":"2505.17854","title":"Out of the Shadows: Exploring a Latent Space for Neural Network Verification","created":"2025-05-23","cited_by_count":6,"area":null},{"id":"2506.01054","title":"No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks","created":"2025-06-01","cited_by_count":6,"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":"2405.10143","title":"Relational DNN Verification With Cross Executional Bound Refinement","created":"2024-05-16","cited_by_count":5,"area":null},{"id":"2412.03154","title":"SoundnessBench: A Soundness Benchmark for Neural Network Verifiers","created":"2024-12-04","cited_by_count":5,"area":null},{"id":"2509.22849","title":"Parameterized Hardness of Zonotope Containment and Neural Network Verification","created":"2025-09-26","cited_by_count":5,"area":null},{"id":"2209.07235","title":"Sound and Complete Verification of Polynomial Networks","created":"2022-09-15","cited_by_count":4,"area":null},{"id":"2306.06747","title":"Precise and Generalized Robustness Certification for Neural Networks","created":"2023-06-11","cited_by_count":4,"area":null},{"id":"2306.10617","title":"GPU-Accelerated Verification of Machine Learning Models for Power Systems","created":"2023-06-18","cited_by_count":4,"area":null},{"id":"2403.07095","title":"Gaussian Loss Smoothing Enables Certified Training with Tight Convex Relaxations","created":"2024-03-11","cited_by_count":4,"area":null},{"id":"2407.01295","title":"Towards Formal Verification of Deep Neural Networks for Object Detection","created":"2024-07-01","cited_by_count":4,"area":null},{"id":"2505.05235","title":"Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation","created":"2025-05-08","cited_by_count":4,"area":null},{"id":"2301.11342","title":"A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks","created":"2023-01-26","cited_by_count":3,"area":null},{"id":"2301.13845","title":"Interpreting Robustness Proofs of Deep Neural Networks","created":"2023-01-31","cited_by_count":3,"area":null},{"id":"2303.05246","title":"Efficient Certified Training and Robustness Verification of Neural ODEs","created":"2023-03-09","cited_by_count":3,"area":null},{"id":"2410.01617","title":"On Using Certified Training towards Empirical Robustness","created":"2024-10-02","cited_by_count":3,"area":null},{"id":"2506.13961","title":"Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation","created":"2025-06-16","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":"2405.19805","title":"Complexity of Injectivity and Verification of ReLU Neural Networks","created":"2024-05-30","cited_by_count":2,"area":null},{"id":"2405.21023","title":"Compact Optimality Verification for Optimization Proxies","created":"2024-05-31","cited_by_count":2,"area":null},{"id":"2406.11522","title":"FullCert: Deterministic End-to-End Certification for Training and Inference of Neural Networks","created":"2024-06-17","cited_by_count":2,"area":null},{"id":"2410.06816","title":"Expressiveness of Multi-Neuron Convex Relaxations in Neural Network Certification","created":"2024-10-09","cited_by_count":2,"area":null},{"id":"2502.11672","title":"Exact Upper and Lower Bounds for the Output Distribution of Neural Networks with Random Inputs","created":"2025-02-17","cited_by_count":2,"area":null},{"id":"2505.00963","title":"Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification","created":"2025-05-02","cited_by_count":2,"area":null},{"id":"2512.05439","title":"BEAVER: An Efficient Deterministic LLM Verifier","created":"2025-12-05","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":"2311.09809","title":"Comparing Differentiable Logics for Learning Systems: A Research Preview","created":"2023-11-16","cited_by_count":1,"area":null},{"id":"2410.03373","title":"Make Interval Bound Propagation great again","created":"2024-10-04","cited_by_count":1,"area":null},{"id":"2412.18262","title":"Efficient Contrastive Explanations on Demand","created":"2024-12-24","cited_by_count":1,"area":null},{"id":"2507.23197","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","created":"2025-07-31","cited_by_count":1,"area":null},{"id":"2602.02626","title":"Learning Better Certified Models from Empirically-Robust Teachers","created":"2026-02-02","cited_by_count":1,"area":"distill"},{"id":"2602.17530","title":"Provably Explaining Neural Additive Models","created":"2026-02-19","cited_by_count":1,"area":null},{"id":"2603.03043","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","created":"2026-03-03","cited_by_count":1,"area":null},{"id":"2606.18839","title":"Semantic Robustness Certification for Vision-Language Models","created":"2026-06-17","cited_by_count":1,"area":"mllm"},{"id":"2609.34457","title":"ZonoGPT: Towards An Abstract Domain for Verifying Large GPT Models","created":"2026-09-28","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":"2306.12495","title":"Verifying Global Neural Network Specifications using Hyperproperties","created":"2023-06-21","cited_by_count":0,"area":null},{"id":"2405.08645","title":"Certifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract Interpretation","created":"2024-05-14","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":"2409.09687","title":"Training Safe Neural Networks with Global SDP Bounds","created":"2024-09-15","cited_by_count":0,"area":null},{"id":"2410.23362","title":"Tightening convex relaxations of trained neural networks: a unified approach for convex and S-shaped activations","created":"2024-10-30","cited_by_count":0,"area":null},{"id":"2412.03028","title":"Specification Generation for Neural Networks in Systems","created":"2024-12-04","cited_by_count":0,"area":null},{"id":"2507.17453","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","created":"2025-07-23","cited_by_count":0,"area":null},{"id":"2602.05068","title":"E-Globe: Scalable $\\epsilon$-Global Verification of Neural Networks via Tight Upper Bounds and Pattern-Aware Branching","created":"2026-02-04","cited_by_count":0,"area":null},{"id":"2603.03082","title":"Safe and Robust Domains of Attraction for Discrete-Time Systems: A Set-Based Characterization and Certifiable Neural Network Estimation","created":"2026-03-03","cited_by_count":0,"area":null},{"id":"2603.06431","title":"Certified and accurate computation of function space norms of deep neural networks","created":"2026-03-06","cited_by_count":0,"area":null},{"id":"2605.24084","title":"Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks","created":"2026-05-22","cited_by_count":0,"area":null},{"id":"2605.30155","title":"Neural Network Verification using Partial Multi-Neuron Relaxation","created":"2026-05-28","cited_by_count":0,"area":null},{"id":"2606.02134","title":"Rethinking Evaluation Paradigms in IBP-based Certified Training","created":"2026-06-01","cited_by_count":0,"area":null},{"id":"2606.31653","title":"Improving Certified Robustness via Adversarial Distillation","created":"2026-06-30","cited_by_count":0,"area":null},{"id":"2607.03232","title":"Fast SDP certification of neural networks : towards large multi-class datasets","created":"2026-07-03","cited_by_count":0,"area":null},{"id":"2607.18195","title":"Certified Training for Convolutional Perturbations","created":"2026-07-20","cited_by_count":0,"area":null},{"id":"2608.13118","title":"Branch and Bound for Relational Verification of Neural Networks","created":"2026-08-13","cited_by_count":0,"area":null},{"id":"2609.34553","title":"Verifying Neural Networks with Reinforcement Learning","created":"2026-09-28","cited_by_count":0,"area":"deeprl"},{"id":"2609.34628","title":"CLAD: Constrained Abstract Domain for Neural Network Verification","created":"2026-09-28","cited_by_count":0,"area":null}],"next_cursor":null}