{"total":38,"rows":[{"id":"2109.10696","title":"CC-Cert: A Probabilistic Approach to Certify General Robustness of Neural Networks","created":"2021-09-22","cited_by_count":19,"area":null},{"id":"2203.14141","title":"Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding","created":"2022-03-26","cited_by_count":15,"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":"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":"2110.11088","title":"RoMA: a Method for Neural Network Robustness Measurement and Assessment","created":"2021-10-21","cited_by_count":10,"area":null},{"id":"2402.19322","title":"Verification of Neural Networks' Global Robustness","created":"2024-02-29","cited_by_count":10,"area":null},{"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":"2308.05985","title":"TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models","created":"2023-08-11","cited_by_count":8,"area":null},{"id":"2402.00035","title":"Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing","created":"2024-01-08","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":"2502.14833","title":"Probabilistic Robustness in Deep Learning: A Concise yet Comprehensive Guide","created":"2025-02-20","cited_by_count":6,"area":null},{"id":"2504.03686","title":"Revisiting Outage for Edge Inference Systems","created":"2025-03-22","cited_by_count":5,"area":null},{"id":"2302.10802","title":"A Novel Noise Injection-based Training Scheme for Better Model Robustness","created":"2023-02-17","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":"2506.00496","title":"Monitoring Robustness and Individual Fairness","created":"2025-05-31","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":"2405.17054","title":"Improving Data-aware and Parameter-aware Robustness for Continual Learning","created":"2024-05-27","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":"2605.30741","title":"Is the Last Layer Sufficient for Uncertainty Quantification?","created":"2026-05-29","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.02288","title":"gRoMA: a Tool for Measuring the Global Robustness of Deep Neural Networks","created":"2023-01-05","cited_by_count":1,"area":null},{"id":"2504.08414","title":"Adversarial Examples in Environment Perception for Automated Driving (Review)","created":"2025-04-11","cited_by_count":1,"area":null},{"id":"2511.19100","title":"Extracting Robust Register Automata from Neural Networks over Data Sequences","created":"2025-11-24","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":"2107.13491","title":"Models of Computational Profiles to Study the Likelihood of DNN Metamorphic Test Cases","created":"2021-07-28","cited_by_count":0,"area":null},{"id":"2208.10354","title":"Quantifying probabilistic robustness of tree-based classifiers against natural distortions","created":"2022-08-22","cited_by_count":0,"area":null},{"id":"2210.09086","title":"Artificial Intelligence Nomenclature Identified From Delphi Study on Key Issues Related to Trust and Barriers to Adoption for Autonomous Systems","created":"2022-10-14","cited_by_count":0,"area":null},{"id":"2306.05211","title":"Boosting-based Construction of BDDs for Linear Threshold Functions and Its Application to Verification of Neural Networks","created":"2023-06-08","cited_by_count":0,"area":null},{"id":"2402.04892","title":"Probabilistic ML Verification via Weighted Model Integration","created":"2024-02-07","cited_by_count":0,"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.01568","title":"Quantifying Emergence in Neural Networks: Insights from Pruning and Training Dynamics","created":"2024-09-03","cited_by_count":0,"area":null},{"id":"2410.09190","title":"Time to Retrain? Detecting Concept Drifts in Machine Learning Systems","created":"2024-10-11","cited_by_count":0,"area":null},{"id":"2509.25647","title":"BaB-prob: Branch and Bound with Preactivation Splitting for Probabilistic Verification of Neural Networks","created":"2025-09-30","cited_by_count":0,"area":null},{"id":"2603.25273","title":"Distribution and Clusters Approximations as Abstract Domains in Probabilistic Abstract Interpretation to Neural Network Analysis","created":"2026-03-26","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}],"next_cursor":null}