{"total":16,"rows":[{"id":"2301.12456","title":"Towards Verifying the Geometric Robustness of Large-scale Neural Networks","created":"2023-01-29","cited_by_count":11,"area":null},{"id":"2301.12100","title":"Reachability Analysis of Neural Network Control Systems","created":"2023-01-28","cited_by_count":8,"area":null},{"id":"2212.11746","title":"Certified Policy Smoothing for Cooperative Multi-Agent Reinforcement Learning","created":"2022-12-22","cited_by_count":7,"area":null},{"id":"2312.06436","title":"Reward Certification for Policy Smoothed Reinforcement Learning","created":"2023-12-11","cited_by_count":7,"area":null},{"id":"2307.11784","title":"What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems","created":"2023-07-20","cited_by_count":6,"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":"2412.13913","title":"A Black-Box Evaluation Framework for Semantic Robustness in Bird's Eye View Detection","created":"2024-12-18","cited_by_count":3,"area":null},{"id":"2309.00879","title":"Towards Certified Probabilistic Robustness with High Accuracy","created":"2023-09-02","cited_by_count":2,"area":null},{"id":"2401.02283","title":"DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace","created":"2024-01-04","cited_by_count":2,"area":null},{"id":"2405.14923","title":"How Does Bayes Error Limit Probabilistic Robust Accuracy","created":"2024-05-23","cited_by_count":2,"area":null},{"id":"2304.00813","title":"Model-Agnostic Reachability Analysis on Deep Neural Networks","created":"2023-04-03","cited_by_count":1,"area":null},{"id":"2404.16457","title":"Towards Precise Observations of Neural Model Robustness in Classification","created":"2024-04-25","cited_by_count":1,"area":null},{"id":"2511.01724","title":"PRBench: A Standardized Probabilistic Robustness Benchmark","created":"2025-11-03","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":"2508.19183","title":"Get Global Guarantees: On the Probabilistic Nature of Perturbation Robustness","created":"2025-08-26","cited_by_count":0,"area":null},{"id":"2609.39798","title":"Probabilistic Adversarial Training","created":"2026-09-30","cited_by_count":0,"area":null}],"next_cursor":null}