{"total":54,"rows":[{"id":"2205.01663","title":"Adversarial Training for High-Stakes Reliability","created":"2022-05-03","cited_by_count":60,"area":null},{"id":"2208.09418","title":"SAFARI: Versatile and Efficient Evaluations for Robustness of Interpretability","created":"2022-08-19","cited_by_count":28,"area":null},{"id":"2207.02036","title":"PRoA: A Probabilistic Robustness Assessment against Functional Perturbations","created":"2022-07-05","cited_by_count":19,"area":null},{"id":"2502.16797","title":"Forecasting Rare Language Model Behaviors","created":"2025-02-24","cited_by_count":19,"area":null},{"id":"2103.07224","title":"BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks","created":"2021-03-12","cited_by_count":17,"area":null},{"id":"2112.00646","title":"Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance","created":"2021-11-30","cited_by_count":16,"area":null},{"id":"2410.13211","title":"Estimating the Probabilities of Rare Outputs in Language Models","created":"2024-10-17","cited_by_count":16,"area":null},{"id":"2305.03686","title":"Provable Preimage Under-Approximation for Neural Networks (Full Version)","created":"2023-05-05","cited_by_count":14,"area":null},{"id":"2306.03048","title":"From Robustness to Explainability and Back Again","created":"2023-06-05","cited_by_count":14,"area":null},{"id":"2101.10102","title":"Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning","created":"2021-01-25","cited_by_count":12,"area":null},{"id":"2112.05745","title":"A Simple and Efficient Sampling-based Algorithm for General Reachability Analysis","created":"2021-12-10","cited_by_count":12,"area":null},{"id":"2212.11138","title":"QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks","created":"2022-12-10","cited_by_count":12,"area":null},{"id":"2106.01258","title":"Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles","created":"2021-06-02","cited_by_count":11,"area":null},{"id":"2101.05844","title":"Scaling the Convex Barrier with Sparse Dual Algorithms","created":"2021-01-14","cited_by_count":10,"area":null},{"id":"2110.11088","title":"RoMA: a Method for Neural Network Robustness Measurement and Assessment","created":"2021-10-21","cited_by_count":10,"area":null},{"id":"2311.17400","title":"Improving the Robustness of Transformer-based Large Language Models with Dynamic Attention","created":"2023-11-29","cited_by_count":10,"area":null},{"id":"2402.15429","title":"ProTIP: Probabilistic Robustness Verification on Text-to-Image Diffusion Models against Stochastic Perturbation","created":"2024-02-23","cited_by_count":10,"area":"diffusion"},{"id":"2210.08906","title":"A.I. Robustness: a Human-Centered Perspective on Technological Challenges and Opportunities","created":"2022-10-17","cited_by_count":9,"area":null},{"id":"2212.02781","title":"QEBVerif: Quantization Error Bound Verification of Neural Networks","created":"2022-12-06","cited_by_count":9,"area":null},{"id":"2110.15764","title":"{\\epsilon}-weakened Robustness of Deep Neural Networks","created":"2021-10-29","cited_by_count":8,"area":null},{"id":"2205.08589","title":"Hierarchical Distribution-Aware Testing of Deep Learning","created":"2022-05-17","cited_by_count":8,"area":null},{"id":"2308.05985","title":"TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models","created":"2023-08-11","cited_by_count":8,"area":null},{"id":"2408.09262","title":"PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks","created":"2024-08-17","cited_by_count":8,"area":null},{"id":"2209.09881","title":"Risk Verification of Stochastic Systems with Neural Network Controllers","created":"2022-08-26","cited_by_count":6,"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":"2409.18214","title":"Trustworthy Text-to-Image Diffusion Models: A Timely and Focused Survey","created":"2024-09-26","cited_by_count":6,"area":"diffusion"},{"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":"2507.04100","title":"Hierarchical Testing with Rabbit Optimization for Industrial Cyber-Physical Systems","created":"2025-07-05","cited_by_count":4,"area":null},{"id":"2111.02204","title":"Certifiable Deep Importance Sampling for Rare-Event Simulation of Black-Box Systems","created":"2021-11-03","cited_by_count":3,"area":null},{"id":"2210.14991","title":"Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems","created":"2022-10-26","cited_by_count":3,"area":null},{"id":"2404.08285","title":"A Survey of Neural Network Robustness Assessment in Image Recognition","created":"2024-04-12","cited_by_count":3,"area":null},{"id":"2302.06455","title":"Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks","created":"2023-02-10","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":"2504.17723","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","created":"2025-04-24","cited_by_count":2,"area":null},{"id":"2505.22798","title":"Efficient Preimage Approximation for Neural Network Certification","created":"2025-05-28","cited_by_count":2,"area":null},{"id":"2507.05405","title":"Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification","created":"2025-07-07","cited_by_count":2,"area":null},{"id":"2208.07464","title":"An Overview and Prospective Outlook on Robust Training and Certification of Machine Learning Models","created":"2022-08-15","cited_by_count":1,"area":null},{"id":"2301.12151","title":"Selecting Models based on the Risk of Damage Caused by Adversarial Attacks","created":"2023-01-28","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":"2603.14818","title":"SimCert: Probabilistic Certification for Behavioral Similarity in Deep Neural Network Compression","created":"2026-03-16","cited_by_count":1,"area":null},{"id":"2604.21854","title":"Bounding the Black Box: A Statistical Certification Framework for AI Risk Regulation","created":"2026-04-23","cited_by_count":1,"area":null},{"id":"2607.18454","title":"Estimating Rare Events in Language Models with Proper Evaluation","created":"2026-07-20","cited_by_count":1,"area":null},{"id":"2404.01642","title":"Patch Synthesis for Property Repair of Deep Neural Networks","created":"2024-04-02","cited_by_count":0,"area":null},{"id":"2405.20556","title":"Certifying Global Robustness for Deep Neural Networks","created":"2024-05-31","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":"2511.06495","title":"Probably Approximately Global Robustness Certification","created":"2025-11-09","cited_by_count":0,"area":null},{"id":"2511.17784","title":"A Variance-Based Analysis of Sample Complexity for Grid Coverage","created":"2025-11-21","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":"2605.15134","title":"Training ML Models with Predictable Failures","created":"2026-05-14","cited_by_count":0,"area":null},{"id":"2607.03797","title":"Probabilistic Robustness in Medical Image Classification","created":"2026-07-04","cited_by_count":0,"area":null},{"id":"2607.20286","title":"Sound Probabilistic Safety Bounds for Large Language Models","created":"2026-07-22","cited_by_count":0,"area":"safety"},{"id":"2609.30605","title":"Probabilistic Robustness-driven Universal Adversarial Perturbations with Explainability against Deep Reinforcement Learning-based Intrusion Detection System","created":"2026-09-24","cited_by_count":0,"area":"deeprl"},{"id":"2609.39798","title":"Probabilistic Adversarial Training","created":"2026-09-30","cited_by_count":0,"area":null}],"next_cursor":null}