{"total":29,"rows":[{"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":"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":"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":"2503.12083","title":"PICID: Proof-Driven Clause Learning in Neural Network Verification","created":"2025-03-15","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":"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":"2603.12232","title":"Incremental Neural Network Verification via Learned Conflicts","created":"2026-03-12","cited_by_count":2,"area":null},{"id":"2508.15454","title":"Mini-Batch Robustness Verification of Deep Neural Networks","created":"2025-08-21","cited_by_count":1,"area":null},{"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":"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":"2607.17290","title":"Lookahead Branching for Neural Network Verification","created":"2026-07-19","cited_by_count":1,"area":null},{"id":"2608.18900","title":"TestifAI: Tomography-Based Testing for Deep Learning Systems","created":"2026-08-19","cited_by_count":1,"area":null},{"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":"2506.10269","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","created":"2025-06-12","cited_by_count":0,"area":null},{"id":"2511.07293","title":"Formal Reasoning About Confidence and Automated Verification of Neural Networks","created":"2025-11-10","cited_by_count":0,"area":null},{"id":"2603.02235","title":"Talking with Verifiers: Automatic Specification Generation for Neural Network Verification","created":"2026-02-13","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.05604","title":"From Decoupled to Coupled: Robustness Verification for Learning-based Keypoint Detection with Joint Specifications","created":"2026-03-05","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.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.12490","title":"Robustness Verification of Recurrent Neural Networks with Abstraction Refinement","created":"2026-06-10","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":"2607.29051","title":"Learning Lookahead Lemmas for Neural Network Verification","created":"2026-07-31","cited_by_count":0,"area":null},{"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}