{"total":58,"rows":[{"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":"2406.02981","title":"Local vs. Global Interpretability: A Computational Complexity Perspective","created":"2024-06-05","cited_by_count":23,"area":null},{"id":"2403.10144","title":"NLP Verification: Towards a General Methodology for Certifying Robustness","created":"2024-03-15","cited_by_count":16,"area":null},{"id":"2401.14412","title":"Harnessing Neuron Stability to Improve DNN Verification","created":"2024-01-19","cited_by_count":13,"area":null},{"id":"2506.08505","title":"Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations","created":"2025-06-10","cited_by_count":13,"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":"2506.06665","title":"SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming","created":"2025-06-07","cited_by_count":12,"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":"2406.18451","title":"Detecting Brittle Decisions for Free: Leveraging Margin Consistency in Deep Robust Classifiers","created":"2024-06-26","cited_by_count":10,"area":null},{"id":"2402.00035","title":"Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing","created":"2024-01-08","cited_by_count":8,"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":"2405.10611","title":"A Certified Proof Checker for Deep Neural Network Verification in Imandra","created":"2024-05-17","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":"2309.11196","title":"When to Trust AI: Advances and Challenges for Certification of Neural Networks","created":"2023-09-20","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":"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":"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":"2506.09455","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","created":"2025-06-11","cited_by_count":5,"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":"2410.20207","title":"Revisiting Differential Verification: Equivalence Verification with Confidence","created":"2024-10-26","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":"2512.00164","title":"Faster Verified Explanations for Neural Networks","created":"2025-11-28","cited_by_count":4,"area":null},{"id":"2305.18558","title":"DelBugV: Delta-Debugging Neural Network Verifiers","created":"2023-05-29","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":"2503.12083","title":"PICID: Proof-Driven Clause Learning in Neural Network Verification","created":"2025-03-15","cited_by_count":3,"area":null},{"id":"2602.06105","title":"Robustness Verification of Polynomial Neural Networks","created":"2026-02-05","cited_by_count":3,"area":null},{"id":"2406.11873","title":"Logic-Based Explainability: Past, Present & Future","created":"2024-06-04","cited_by_count":2,"area":null},{"id":"2408.10491","title":"Achieving the Tightest Relaxation of Sigmoids for Formal Verification","created":"2024-08-20","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":"2603.12232","title":"Incremental Neural Network Verification via Learned Conflicts","created":"2026-03-12","cited_by_count":2,"area":null},{"id":"2310.09361","title":"Is Certifying $\\ell_p$ Robustness Still Worthwhile?","created":"2023-10-13","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":"2602.04236","title":"Cascading Robustness Verification: Toward Efficient Model-Agnostic Certification","created":"2026-02-04","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":"2605.07451","title":"VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification","created":"2026-05-08","cited_by_count":1,"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":"2505.12767","title":"Language Models That Walk the Talk: A Framework for Formal Fairness Certificates","created":"2025-05-19","cited_by_count":0,"area":null},{"id":"2506.12084","title":"The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification","created":"2025-06-10","cited_by_count":0,"area":null},{"id":"2507.22760","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","created":"2025-07-30","cited_by_count":0,"area":null},{"id":"2508.11959","title":"Rigorous Feature Importance Scores based on Shapley Value and Banzhaf Index","created":"2025-08-16","cited_by_count":0,"area":null},{"id":"2510.20916","title":"Aircraft Collision Avoidance Systems: Technological Challenges and Solutions on the Path to Regulatory Acceptance","created":"2025-10-23","cited_by_count":0,"area":null},{"id":"2602.17699","title":"Certified Learning under Distribution Shift: Sound Verification and Identifiable Structure","created":"2026-02-06","cited_by_count":0,"area":null},{"id":"2604.06289","title":"Adversarial Robustness of Time-Series Classification for Crystal Collimator Alignment","created":"2026-04-07","cited_by_count":0,"area":null},{"id":"2604.18728","title":"The Cost of Relaxation: Evaluating the Error in Convex Neural Network Verification","created":"2026-04-20","cited_by_count":0,"area":null},{"id":"2605.14294","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","created":"2026-05-14","cited_by_count":0,"area":null},{"id":"2605.29251","title":"Provably Secure Agent Guardrail","created":"2026-05-28","cited_by_count":0,"area":"agents"},{"id":"2605.29537","title":"The Complexity of Verifying Feedforward Neural Networks in Quantised Settings","created":"2026-05-28","cited_by_count":0,"area":null},{"id":"2606.23760","title":"Engineering Reliable Autonomous Systems: Challenges and Solutions","created":"2026-06-22","cited_by_count":0,"area":null},{"id":"2607.05253","title":"Repurposing CLIP to Localize at Pixel Level","created":"2026-07-06","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},{"id":"2609.34553","title":"Verifying Neural Networks with Reinforcement Learning","created":"2026-09-28","cited_by_count":0,"area":"deeprl"},{"id":"2609.39768","title":"Security Properties of Neural Networks as Decision Problems","created":"2026-09-30","cited_by_count":0,"area":"safety"}],"next_cursor":null}