{"total":37,"rows":[{"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":"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":"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":"2401.14412","title":"Harnessing Neuron Stability to Improve DNN Verification","created":"2024-01-19","cited_by_count":13,"area":null},{"id":"2305.04574","title":"TAPS: Connecting Certified and Adversarial Training","created":"2023-05-08","cited_by_count":11,"area":null},{"id":"2302.01961","title":"Asymmetric Certified Robustness via Feature-Convex Neural Networks","created":"2023-02-03","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":"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":"2305.04003","title":"ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification","created":"2023-05-06","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":"2412.03154","title":"SoundnessBench: A Soundness Benchmark for Neural Network Verifiers","created":"2024-12-04","cited_by_count":5,"area":null},{"id":"2506.13024","title":"Position: Certified Robustness Does Not (Yet) Imply Model Security","created":"2025-06-16","cited_by_count":4,"area":null},{"id":"2305.16998","title":"A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation","created":"2023-05-26","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":"2401.02283","title":"DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace","created":"2024-01-04","cited_by_count":2,"area":null},{"id":"2405.06109","title":"Scalable Exact Verification of Optimization Proxies for Large-Scale Optimal Power Flow","created":"2024-05-09","cited_by_count":2,"area":null},{"id":"2405.10350","title":"Monitizer: Automating Design and Evaluation of Neural Network Monitors","created":"2024-05-16","cited_by_count":2,"area":null},{"id":"2411.04594","title":"Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels","created":"2024-11-07","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":"2505.22798","title":"Efficient Preimage Approximation for Neural Network Certification","created":"2025-05-28","cited_by_count":2,"area":null},{"id":"2510.23389","title":"Floating-Point Neural Network Verification at the Software Level","created":"2025-10-27","cited_by_count":2,"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":"2312.10911","title":"The Pros and Cons of Adversarial Robustness","created":"2023-12-18","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":"2512.06010","title":"Fast and Flexible Robustness Certificates for Semantic Segmentation","created":"2025-12-03","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":"2307.13078","title":"Adaptive Certified Training: Towards Better Accuracy-Robustness Tradeoffs","created":"2023-07-24","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":"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":"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":"2606.09377","title":"Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism","created":"2026-06-08","cited_by_count":0,"area":null},{"id":"2606.20292","title":"Shifting-based Optimizable Linear Relaxations for General Activation Functions","created":"2026-06-18","cited_by_count":0,"area":null},{"id":"2608.17070","title":"Certified but Private: Scalable Zero-Knowledge Proofs for Neural Network Guarantees","created":"2026-08-17","cited_by_count":0,"area":null},{"id":"2609.30079","title":"Reachability-Based Formal Verification of Graph Neural Networks with Node and Edge Features","created":"2026-09-24","cited_by_count":0,"area":null}],"next_cursor":null}