{"total":39,"rows":[{"id":"2504.10374","title":"Ctrl-Z: Controlling AI Agents via Resampling","created":"2025-04-14","cited_by_count":44,"area":null},{"id":"2306.03048","title":"From Robustness to Explainability and Back Again","created":"2023-06-05","cited_by_count":14,"area":null},{"id":"2402.09546","title":"How Secure Are Large Language Models (LLMs) for Navigation in Urban Environments?","created":"2024-02-14","cited_by_count":8,"area":null},{"id":"2404.00897","title":"Machine Learning Robustness: A Primer","created":"2024-04-01","cited_by_count":8,"area":null},{"id":"2502.14833","title":"Probabilistic Robustness in Deep Learning: A Concise yet Comprehensive Guide","created":"2025-02-20","cited_by_count":6,"area":null},{"id":"2211.04780","title":"On the Robustness of Explanations of Deep Neural Network Models: A Survey","created":"2022-11-09","cited_by_count":5,"area":null},{"id":"2405.13922","title":"Towards Certification of Uncertainty Calibration under Adversarial Attacks","created":"2024-05-22","cited_by_count":5,"area":null},{"id":"2302.00775","title":"Model Monitoring and Robustness of In-Use Machine Learning Models: Quantifying Data Distribution Shifts Using Population Stability Index","created":"2023-02-01","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":"2506.00496","title":"Monitoring Robustness and Individual Fairness","created":"2025-05-31","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":"2411.04594","title":"Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels","created":"2024-11-07","cited_by_count":2,"area":null},{"id":"2508.16225","title":"An Investigation of Visual Foundation Models Robustness","created":"2025-08-22","cited_by_count":2,"area":null},{"id":"2509.06921","title":"Neuro-Symbolic AI for Cybersecurity: State of the Art, Challenges, and Opportunities","created":"2025-09-08","cited_by_count":2,"area":null},{"id":"2211.09810","title":"Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone","created":"2022-11-13","cited_by_count":1,"area":null},{"id":"2401.13751","title":"A Training Rate and Survival Heuristic for Inference and Robustness Evaluation (TRASHFIRE)","created":"2024-01-24","cited_by_count":1,"area":null},{"id":"2503.22755","title":"Reasoning Under Threat: Symbolic and Neural Techniques for Cybersecurity Verification","created":"2025-03-27","cited_by_count":1,"area":null},{"id":"2505.06958","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","created":"2025-05-11","cited_by_count":1,"area":null},{"id":"2511.17380","title":"Non-Parametric Probabilistic Robustness: A Conservative Risk Estimator under Unknown Perturbation Distributions","created":"2025-11-21","cited_by_count":1,"area":null},{"id":"2607.23365","title":"On AI Safety and Security Technical Debt in Engineering AI-Enabled Systems","created":"2026-07-25","cited_by_count":1,"area":null},{"id":"2406.00699","title":"Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation","created":"2024-06-02","cited_by_count":0,"area":null},{"id":"2408.00783","title":"Data-driven Verification of DNNs for Object Recognition","created":"2024-07-17","cited_by_count":0,"area":null},{"id":"2409.03598","title":"A practical approach to evaluating the adversarial distance for machine learning classifiers","created":"2024-09-05","cited_by_count":0,"area":null},{"id":"2504.03315","title":"Detecting underdetermination in parameterized quantum circuits","created":"2025-04-04","cited_by_count":0,"area":null},{"id":"2505.06860","title":"DP-TRAE: A Dual-Phase Merging Transferable Reversible Adversarial Example for Image Privacy Protection","created":"2025-05-11","cited_by_count":0,"area":null},{"id":"2511.06495","title":"Probably Approximately Global Robustness Certification","created":"2025-11-09","cited_by_count":0,"area":null},{"id":"2511.07208","title":"SMiLE: Provably Enforcing Global Relational Properties in Neural Networks","created":"2025-11-10","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":"2604.21556","title":"Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation","created":"2026-04-23","cited_by_count":0,"area":null},{"id":"2604.24379","title":"Certified geometric robustness -- Super-DeepG","created":"2026-04-27","cited_by_count":0,"area":null},{"id":"2605.02109","title":"Detecting Adversarial Data via Provable Adversarial Noise Amplification","created":"2026-05-04","cited_by_count":0,"area":null},{"id":"2605.12792","title":"SoK: A Comprehensive Analysis of the Current Status of Neural Tangent Generalization Attacks with Research Directions","created":"2026-05-12","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":"2606.23858","title":"Are Safety Guarantees in Neural Networks Safe? How to Compute Trustworthy Robustness Certifications","created":"2026-06-22","cited_by_count":0,"area":null},{"id":"2607.08773","title":"Interval Certifications for Multilayered Perceptrons via Lattice Traversal","created":"2026-04-09","cited_by_count":0,"area":null},{"id":"2608.21488","title":"KAN-Robust-Bench: A Benchmark for Evaluating the Robustness of Kolmogorov-Arnold Networks","created":"2026-08-21","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},{"id":"2609.38381","title":"LogiC-Diff: Embedding Security Properties Into AI-Enabled Cyber-Physical Systems","created":"2026-09-29","cited_by_count":0,"area":null},{"id":"2609.38625","title":"Interpretable but Fragile? Robustness of Concept Bottlenecks under Geometric-Semantic Perturbations","created":"2026-09-29","cited_by_count":0,"area":null}],"next_cursor":null}