{"total":21,"rows":[{"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":"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":"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":"2511.08198","title":"Proof Minimization in Neural Network Verification","created":"2025-11-11","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":"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.03043","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","created":"2026-03-03","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":"2503.00563","title":"A Guide to Failure in Machine Learning: Reliability and Robustness from Foundations to Practice","created":"2025-03-01","cited_by_count":0,"area":null},{"id":"2504.03650","title":"BoxRL-NNV: Boxed Refinement of Latin Hypercube Samples for Neural Network Verification","created":"2025-02-25","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":"2509.23806","title":"Influence-Guided Concolic Testing of Transformer Robustness","created":"2025-09-28","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.13334","title":"Lipschitz-Based Robustness Certification Under Floating-Point Execution","created":"2026-03-06","cited_by_count":0,"area":null},{"id":"2605.17153","title":"Stress-Testing Neural Network Verifiers with Provably Robust Instances","created":"2026-05-16","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":"2607.07762","title":"Trustworthy Machine Learning through the Lens of Combinatorial Optimization: Survey and Research Perspectives","created":"2026-07-08","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.30050","title":"NNV3: Expanding Neural Network Verification to New Architectures and Domains","created":"2026-09-24","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},{"id":"2610.11994","title":"Neural Network Verification for Deep Joint Source-Channel Coding","created":"2026-10-08","cited_by_count":0,"area":null}],"next_cursor":null}