{"total":13,"rows":[{"id":"2305.19521","title":"Incremental Randomized Smoothing Certification","created":"2023-05-31","cited_by_count":12,"area":null},{"id":"2512.00164","title":"Faster Verified Explanations for Neural Networks","created":"2025-11-28","cited_by_count":4,"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":"2512.05439","title":"BEAVER: An Efficient Deterministic LLM Verifier","created":"2025-12-05","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":"2410.24214","title":"ARQ: A Mixed-Precision Quantization Framework for Accurate and Certifiably Robust DNNs","created":"2024-10-31","cited_by_count":1,"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":"2504.11831","title":"Support is All You Need for Certified VAE Training","created":"2025-04-16","cited_by_count":0,"area":null},{"id":"2506.04268","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","created":"2025-06-03","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":"2608.13118","title":"Branch and Bound for Relational Verification of Neural Networks","created":"2026-08-13","cited_by_count":0,"area":null},{"id":"2608.19351","title":"Uncovering the Limits of Proof Sharing for Neural Networks","created":"2026-08-19","cited_by_count":0,"area":null},{"id":"2609.25962","title":"Exploring Solver-Level Warmstarting for Neural Network Verification","created":"2026-09-22","cited_by_count":0,"area":null}],"next_cursor":null}