{"total":26,"rows":[{"id":"2406.02981","title":"Local vs. Global Interpretability: A Computational Complexity Perspective","created":"2024-06-05","cited_by_count":23,"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":"2502.03391","title":"Explain Yourself, Briefly! Self-Explaining Neural Networks with Concise Sufficient Reasons","created":"2025-02-05","cited_by_count":12,"area":null},{"id":"2206.05070","title":"Fundamental Limits in Formal Verification of Message-Passing Neural Networks","created":"2022-06-10","cited_by_count":9,"area":null},{"id":"2208.09872","title":"Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks","created":"2022-08-21","cited_by_count":8,"area":null},{"id":"2204.07373","title":"Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning","created":"2022-04-15","cited_by_count":7,"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":"2203.07941","title":"Reachability In Simple Neural Networks","created":"2022-03-15","cited_by_count":5,"area":null},{"id":"2210.05304","title":"Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems","created":"2022-10-11","cited_by_count":5,"area":null},{"id":"2301.11912","title":"OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks","created":"2023-01-27","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":"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":"2510.21292","title":"Additive Models Explained: A Computational Complexity Approach","created":"2025-10-24","cited_by_count":3,"area":null},{"id":"2211.01022","title":"Verifying And Interpreting Neural Networks using Finite Automata","created":"2022-11-02","cited_by_count":2,"area":null},{"id":"2502.16244","title":"Verifying Quantized Graph Neural Networks is PSPACE-complete","created":"2025-02-22","cited_by_count":2,"area":null},{"id":"2602.17530","title":"Provably Explaining Neural Additive Models","created":"2026-02-19","cited_by_count":1,"area":null},{"id":"2607.14375","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","created":"2026-07-15","cited_by_count":1,"area":null},{"id":"2401.05338","title":"STR-Cert: Robustness Certification for Deep Text Recognition on Deep Learning Pipelines and Vision Transformers","created":"2023-11-28","cited_by_count":0,"area":null},{"id":"2403.13441","title":"Robustness Verifcation in Neural Networks","created":"2024-03-20","cited_by_count":0,"area":null},{"id":"2405.08645","title":"Certifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract Interpretation","created":"2024-05-14","cited_by_count":0,"area":null},{"id":"2510.18591","title":"Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing","created":"2025-10-21","cited_by_count":0,"area":null},{"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.02134","title":"Rethinking Evaluation Paradigms in IBP-based Certified Training","created":"2026-06-01","cited_by_count":0,"area":null}],"next_cursor":null}