{"total":128,"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":"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":"2206.12227","title":"Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective","created":"2022-06-24","cited_by_count":42,"area":null},{"id":"2106.13867","title":"POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems","created":"2021-06-25","cited_by_count":39,"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":"2104.02466","title":"A Review of Formal Methods applied to Machine Learning","created":"2021-04-06","cited_by_count":33,"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":"2112.09495","title":"Stability Verification in Stochastic Control Systems via Neural Network Supermartingales","created":"2021-12-17","cited_by_count":26,"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":"2108.04214","title":"Neural Network Repair with Reachability Analysis","created":"2021-08-09","cited_by_count":19,"area":null},{"id":"2203.15841","title":"NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing","created":"2022-03-29","cited_by_count":19,"area":null},{"id":"2207.02036","title":"PRoA: A Probabilistic Robustness Assessment against Functional Perturbations","created":"2022-07-05","cited_by_count":19,"area":null},{"id":"2205.09927","title":"CertiFair: A Framework for Certified Global Fairness of Neural Networks","created":"2022-05-20","cited_by_count":17,"area":null},{"id":"2102.03824","title":"Neural Termination Analysis","created":"2021-02-07","cited_by_count":16,"area":null},{"id":"2405.05439","title":"How Generalizable Is My Behavior Cloning Policy? A Statistical Approach to Trustworthy Performance Evaluation","created":"2024-05-08","cited_by_count":15,"area":"offlinerl"},{"id":"2101.08153","title":"Shielding Atari Games with Bounded Prescience","created":"2021-01-20","cited_by_count":14,"area":null},{"id":"2401.06379","title":"Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs","created":"2024-01-12","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":"2304.01218","title":"POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems","created":"2023-03-31","cited_by_count":12,"area":null},{"id":"2308.14815","title":"Distributionally Robust Statistical Verification with Imprecise Neural Networks","created":"2023-08-28","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":"2501.05867","title":"Neural Network Verification is a Programming Language Challenge","created":"2025-01-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":"2301.11683","title":"Neural Abstractions","created":"2023-01-27","cited_by_count":11,"area":null},{"id":"2203.07671","title":"Safe Neurosymbolic Learning with Differentiable Symbolic Execution","created":"2022-03-15","cited_by_count":9,"area":null},{"id":"2307.14938","title":"Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops","created":"2023-07-27","cited_by_count":9,"area":null},{"id":"2309.09187","title":"Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference","created":"2023-09-17","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":"2111.09293","title":"Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks","created":"2021-11-17","cited_by_count":8,"area":null},{"id":"2201.06626","title":"Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachability","created":"2022-01-17","cited_by_count":8,"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":"2301.12100","title":"Reachability Analysis of Neural Network Control Systems","created":"2023-01-28","cited_by_count":8,"area":null},{"id":"2308.05985","title":"TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models","created":"2023-08-11","cited_by_count":8,"area":null},{"id":"2405.18554","title":"Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling","created":"2024-05-28","cited_by_count":8,"area":null},{"id":"2108.07961","title":"Verifying Low-dimensional Input Neural Networks via Input Quantization","created":"2021-08-18","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":"2104.02788","title":"Safe-by-Repair: A Convex Optimization Approach for Repairing Unsafe Two-Level Lattice Neural Network Controllers","created":"2021-04-06","cited_by_count":6,"area":null},{"id":"2106.05997","title":"Verifying Quantized Neural Networks using SMT-Based Model Checking","created":"2021-06-10","cited_by_count":6,"area":null},{"id":"2111.03782","title":"Confidence Composition for Monitors of Verification Assumptions","created":"2021-11-03","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":"2404.08517","title":"Online Safety Analysis for LLMs: a Benchmark, an Assessment, and a Path Forward","created":"2024-04-12","cited_by_count":6,"area":null},{"id":"2104.10219","title":"Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning","created":"2021-04-20","cited_by_count":5,"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":"2211.14438","title":"BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic","created":"2022-11-22","cited_by_count":5,"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":"2311.04843","title":"Bridging Dimensions: Confident Reachability for High-Dimensional Controllers","created":"2023-11-08","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":"2412.17432","title":"Neural Continuous-Time Supermartingale Certificates","created":"2024-12-23","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":"2111.13110","title":"QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking","created":"2021-11-25","cited_by_count":4,"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":"2212.08567","title":"Optimized Symbolic Interval Propagation for Neural Network Verification","created":"2022-12-15","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":"2407.11609","title":"Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift","created":"2024-07-16","cited_by_count":4,"area":null},{"id":"2408.00117","title":"Certifying Robustness of Learning-Based Keypoint Detection and Pose Estimation Methods","created":"2024-07-31","cited_by_count":4,"area":null},{"id":"2111.07683","title":"Reachability analysis of neural networks using mixed monotonicity","created":"2021-11-15","cited_by_count":3,"area":null},{"id":"2202.01214","title":"Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression","created":"2022-02-02","cited_by_count":3,"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":"2303.05394","title":"A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems","created":"2023-03-07","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":"2408.01273","title":"Certified Robust Invariant Polytope Training in Neural Controlled ODEs","created":"2024-08-02","cited_by_count":3,"area":null},{"id":"2411.18235","title":"Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control","created":"2024-11-27","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":"2506.03227","title":"Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification","created":"2025-06-03","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":"2104.12418","title":"Fast Falsification of Neural Networks using Property Directed Testing","created":"2021-04-26","cited_by_count":2,"area":null},{"id":"2209.01411","title":"Negative Selection Approach to support Formal Verification and Validation of BlackBox Models' Input Constraints","created":"2022-09-03","cited_by_count":2,"area":null},{"id":"2301.07531","title":"Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction","created":"2023-01-17","cited_by_count":2,"area":null},{"id":"2307.03783","title":"Neural Abstraction-Based Controller Synthesis and Deployment","created":"2023-07-07","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":"2510.17859","title":"Mixed Monotonicity Reachability Analysis of Neural ODE: A Trade-Off Between Tightness and Efficiency","created":"2025-10-15","cited_by_count":2,"area":null},{"id":"2603.12232","title":"Incremental Neural Network Verification via Learned Conflicts","created":"2026-03-12","cited_by_count":2,"area":null},{"id":"2605.25346","title":"Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers","created":"2026-05-25","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":"2202.02095","title":"Fixed-Point Code Synthesis For Neural Networks","created":"2022-02-04","cited_by_count":1,"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":"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":"2304.13811","title":"A Data-Driven Hybrid Automaton Framework to Modeling Complex Dynamical Systems","created":"2023-04-26","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":"2405.15430","title":"Counterexample-Guided Repair of Reinforcement Learning Systems Using Safety Critics","created":"2024-05-24","cited_by_count":1,"area":"deeprl"},{"id":"2412.13229","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","created":"2024-12-17","cited_by_count":1,"area":null},{"id":"2505.00466","title":"A General Framework for Property-Driven Machine Learning","created":"2025-05-01","cited_by_count":1,"area":null},{"id":"2605.26577","title":"Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial","created":"2026-05-26","cited_by_count":1,"area":null},{"id":"2606.04037","title":"Toward Pre-Deployment Assurance for Enterprise AI Agents: Ontology-Grounded Simulation and Trust Certification","created":"2026-06-02","cited_by_count":1,"area":"agents"},{"id":"2606.16567","title":"TNODEV: Toolbox for Neural ODE Verification","created":"2026-06-15","cited_by_count":1,"area":null},{"id":"2608.06481","title":"Safe and Robust Neural Policy Learning with Statistical Verification for Sim-to-Real Deployment in Robotics","created":"2026-08-06","cited_by_count":1,"area":null},{"id":"2609.10951","title":"Testing Between the Test Cases: Proving End-to-End Steering in Conditions You Never Drove","created":"2026-09-10","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":"2209.09400","title":"Polynomial-Time Reachability for LTI Systems with Two-Level Lattice Neural Network Controllers","created":"2022-09-20","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":"2211.12733","title":"Safety Analysis of Autonomous Driving Systems Based on Model Learning","created":"2022-11-23","cited_by_count":0,"area":null},{"id":"2212.14115","title":"Certifying Safety in Reinforcement Learning under Adversarial Perturbation Attacks","created":"2022-12-28","cited_by_count":0,"area":null},{"id":"2303.07917","title":"Reachability Analysis of Neural Networks with Uncertain Parameters","created":"2023-03-14","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":"2304.13812","title":"Guaranteed Quantization Error Computation for Neural Network Model Compression","created":"2023-04-26","cited_by_count":0,"area":null}],"next_cursor":"100"}