Robustness Verification

Ask about this topic

Momentum

2 papers in the last four weeks, down 67% on the four weeks before. 0.0% of all new papers.

Jul 6Week of Sep 21
View on map

Latest papers 55

All topics
CardsList

  1. Beyond Decodability: Do Acoustic Factors Drive Predictions in Speech-Based Alzheimer's Assessment?

    Oct 1, 2026Serli Kopar, Alkis Koudounas, Roshan P. Rane +3AcousticAlzheimer

    Hertie Institute for AI in Brain Health, Germany · Tübingen AI Center, Germany · Sony Group Corporation, Japan +1

  2. Interpretable but Fragile? Robustness of Concept Bottlenecks under Geometric-Semantic Perturbations

    Sep 29, 2026Hanwei Zhang, Tianma Hu, Gaojie Jin +2Dermoscopic Concept Bottleneck ModelsRobustness Verification

    Department of Computer Science Saarland University Saarbrücken, Germany · School of Computer Science and Engineering Tianjin University of Technology Tianjin, China · Department of Artificial Intelligence & Institute of Artificial Intelligence and Brain Sciences University of Macau Macau SAR, China +1

  3. What Paired Evaluations Reveal under Visual Perturbations

    Sep 28, 2026Yongda Wei, Chen Zhang, Yifei Wang +4Robustness VerificationFederated Averaging

  4. Robust to Which Model Change? A Unified Evaluation of Robust Counterfactual Explanations

    Sep 25, 2026Marcin Kostrzewa, Maciej ZiębaCounterfactual ExplanationRobustness Verification

    Department of Artificial Intelligence Wrocław University of Science and Technology

  5. Local Robustness Quantification for Naive Bayes Classifiers and Generative Forests: a General Approach

    Sep 11, 2026Adrián Detavernier, Jasper De BockRobustness VerificationRandom Forest

    Foundations Lab for imprecise probabilities Ghent University Ghent, Belgium

  6. When Do Supervised UQ Ensembles Improve LLM Hallucination Detection? A Robustness Study

    Aug 25, 2026Mohit Singh Chauhan, Vipin Gyanchandani, Dylan BouchardLarge Language Model HallucinationHallucination Detection

    CVS Health®, Wellesley, MA, USA

  7. Robustness Analysis of Agentic AI to Inconsistent and Incomplete Tool Responses

    Aug 24, 2026Jiachen Xu, Torben Bach Pedersen, Zhongming Yao +2Controlling Tool UseRobustness Verification

    Department of Computer Science Aalborg University Aalborg, Denmark · College of Computer Science and Technology Zhejiang University Hangzhou, China · School of Information Science and Engineering Northeastern University Shenyang, China

  8. Reasoning-supported Robustness Validation of Automotive E/E Components

    Aug 17, 2026Jan Novacek, Alexander Viehl, Oliver Bringmann +1Robustness VerificationMechanics

    FZI Forschungszentrum Informatik Haid-und-Neu-Str. 10-14, 76131 Karlsruhe · Eberhard Karls Universität Tübingen Sand 14, 72076 Tübingen

  9. Reliability analysis for BraTS-GoAT segmentation: a controlled robustness study of deep-ensemble uncertainty

    Aug 13, 2026Riya Deepak Shet, Le ZhangBrain Tumor SegmentationEnsemble

    Department of Cancer and Genomic Sciences, School of Medical Sciences, College of Medicine and Health, University of Birmingham, Birmingham, United Kingdom · Department of Electronic, Electrical and Systems Engineering, School of Engineering, College of Engineering and Physical Sciences, University of Birmingham, Birmingham, United Kingdom

  10. Suppress and Diversify: Refining Robust Pathways for Corruption Robustness

    Aug 7, 2026Jiangang Yang, Wenhui Shi, Xiaoran Xu +4Robustness VerificationAdversarial Corruption

    Institute of Microelectronics, Chinese Academy of Sciences, Beijing, China · University of Chinese Science, Beijing, China

  11. Innovation-Residual Auditing of Autonomous Analysis Agents: Localization, Detection Limits, Error Control, and Identifiability

    Aug 6, 2026Ahmed Hassoon, Mark DredzeModel AuditingRobustness Verification

    Johns Hopkins University

  12. A Triple-Robustness Analysis of Retrieval-Augmented Generation for Multi-Hop Requirements Traceability

    Aug 1, 2026Meftun Akarsu, Burak Özdemir, Doğancan Büyükçolak +1Graph-Based Retrieval Augmented GenerationTraceability

    Turkish Aerospace Industries · Technical University of Munich

  13. Sensitivity Analysis of GRU, LSTM and Transformer Encoder in Classification of Automated Driving Systems

    Jul 25, 2026Bidhya Shrestha, Christos PapadopoulosAutomated VehiclesRobustness Verification

    University of Memphis

  14. Adversarial Frontiers: Minimum-Norm Attack Ensembles for Robustness Evaluation

    Jul 22, 2026Luca Scionis, Luca Melis, Maura Pintor +5Robustness VerificationAdversarial Robustness

    Sapienza University of Rome, Italy · University of Cagliari, Italy · University of Genoa, Italy

  15. Certified Training for Convolutional Perturbations

    Jul 20, 2026Benedikt Brückner, Alessio LomuscioAdversarial TrainingMotion Blur

    Safe Intelligence · Imperial College London

  16. AIMO Interpretability Challenge

    Jul 15, 2026Michal Štefánik, Philipp Mondorf, Andreas Waldis +11Olympiad-Level ProblemInterpretability

    National Institute of Informatics, Japan · Munich Center for Machine Learning / MaiNLP LMU · University of Tübingen +6

  17. Condition-Stratified Robustness Analysis of Post-Hoc Calibration Methods for Probabilistic Classifiers

    Jul 13, 2026Gurdeep Singh VirdeePost-HocCalibrated Uncertainty

    Fergana State Technical University, Uzbekistan

  18. Optimized Instance Alteration for Explaining and Assessing Robustness of Classifiers

    Jul 7, 2026Evgenii Kuriabov, David Miller, Jia LiRobustness VerificationClassifier

    Department of Statistics, The Pennsylvania State University, University Park, PA 16802, USA · Department of Electrical Engineering, The Pennsylvania State University, University Park, PA 16802, USA

  19. Privacy-Preserving Robustness Verification for Neural Networks

    Jul 6, 2026Nianyun Song, Xiaokun Luan, Yu Guo +3Neural Network VerificationRobustness Verification

    School of Artificial Intelligence, Beijing Key Laboratory of Artificial Intelligence for Education, Engineering Research Center of Intelligent Technology and Educational Application (Ministry of Education), Beijing Normal University, Beijing, China · School of Mathematical Sciences, Peking University, Beijing, China · School of Computer Science, University of Bristol, Bristol, UK

  20. Benchmarking Sensor Robustness in Plasma Diagnostic Models: A Systematic Evaluation on TokaMark

    Jul 5, 2026Neerav GuptaRobustness VerificationDiagnosis

    Independent Researcher

  21. Robustness Verification of an Autonomous Underwater Vehicle-based Plankton Classifier

    Jul 5, 2026Abdelrahman Sayed Sayed, Pierre-Jean Meyer, Asgeir J. Sørensen +1Plankton ClassifierAutonomous Underwater Vehicles

    Univ Gustave Eiffel, COSYS-ESTAS F-59657 Villeneuve d’Ascq, France · Department of Marine Technology Norwegian University of Science and Technology (NTNU) Trondheim, Norway

  22. Beyond Gradient-Based Attacks: Adversarial Robustness and Explainability Stability in Cybersecurity Classifiers

    Jul 2, 2026Mona Rajhans, Vishal KhawareyGradient-Based AttacksRobustness Verification

    Palo Alto Networks, Santa Clara, CA, USA · Quicken Inc., Menlo Park, CA, USA

  23. From Structural Equation Modelling to Double Machine Learning: Robustness Analysis for Survey-Based Research

    Jul 1, 2026Ka Ching Chan, Qiana Liu, Sanjib Tiwari +1Linear Structural Equation ModelsRobustness Verification

    School of Business, Law, Humanities and Pathways, University of Southern Queensland, Springfield, 4300, Queensland, Australia

  24. Halt Fast! Early Stopping for Certified Robustness

    Jun 26, 2026Andrew C. Cullen, Paul Montague, Benjamin I. P. RubinsteinRobustness VerificationSmoothing

    University of Melbourne · DST Group, Adelaide

  25. Are Safety Guarantees in Neural Networks Safe? How to Compute Trustworthy Robustness Certifications

    Jun 22, 2026Merkouris Papamichail, Konstantinos Varsos, Giorgos Flouris +1Neural Network VerificationCertification

    Foundation for Reasearch and Technology - Hellas, Heraklion, Greece · University of Crete, Heraklion, Greece · Catalan Institution for Research and Advanced Studies, Barcelona, Spain +1

  26. Engineering Reliable Autonomous Systems: Challenges and Solutions

    Jun 22, 2026Marie Farrell, Matt Luckcuck, Angelo Ferrando +28EngineeringChallenges

    University of Manchester, UK · University of Nottingham, UK · University of Modena and Reggio Emilia, Italy +20

  27. Some Complexity Results for Robustness Verification for Binarized Neural Networks

    Jun 17, 2026Harshit Goyal, Sudakshina DuttaNeural Network VerificationRobustness Verification

    Indian Institute of Technology Goa

  28. S-GBT: Smooth Growth Bound Tensor for Certified Robustness Against Word Substitution Attacks in NLP

    Jun 11, 2026Mohammed Bouri, Mohammed Erradi, Adnane SaoudGradient-Based AttacksRobustness Verification

    College of Computing, Mohammed VI Polytechnic University, Morocco · CID Development, Morocco · ENSIAS, University Mohamed V of Rabat, Morocco

  29. ERTS: Adversarial Robustness Testing of Ethical AI via Semantic Perturbation in a Bounded Consequence Space

    Jun 11, 2026Pratyush ChaudhariEthicsAdversarial Evaluation

    Independent Researcher

  30. Robustness Verification of Recurrent Neural Networks with Abstraction Refinement

    Jun 10, 2026Li-Jen Lin, Chih-Duo HongNeural Network VerificationRecurrent Neural Networks

    Dept. of Management Information Systems National Chengchi University Taipei, Taiwan

  31. A Reliable Fault Diagnosis Method Based on Belief Rule Base Consider Robustness Analysis

    Jun 9, 2026Mingyuan Liu, Dan Yin, Zongzong WuFault DiagnosisRobustness Verification

    Central South University, Changsha, Hunan, P.R. China.

  32. Hybrid Robustness Verification for Spatio-Temporal Neural Networks

    Jun 8, 2026Sherwin Varghese, Matthew Wicker, Alessio LomuscioRobustness VerificationAutonomous Driving

    Imperial College London, United Kingdom

  33. Measuring Model Robustness via Fisher Information: Spectral Bounds, Theoretical Guarantees, and Practical Algorithms

    Jun 3, 2026Chong Zhang, Xiang Li, Jia Wang +2Robustness VerificationFisher Information Matrix

    Xi’an Jiaotong-Liverpool University · The Chinese University of Hong Kong

  34. veriFIRE: an Industrial Case Study in Verifying Consistency Properties for a DNN-Based Wildfire Detection System

    Jun 2, 2026Idan Refaeli, Maya Swisa, Itay Buchnik +5Neural Network VerificationWildfire Detection

    The Hebrew University of Jerusalem, Jerusalem, Israel · Elbit Systems - ISTAR & EW - Elisra L.T.D, Holon, Israel · Cornell University, Ithaca, New York, USA

  35. Making Embodied AI Reliable: A Community Agenda from Testing to Formal Verification

    Jun 2, 2026Xi Zheng, Dulanga Weerakoon, Yintong Huo +8Trustworthy Artificial IntelligenceEmbodied Artificial Intelligence

  36. Certified Robustness from Approximate Gaussian Mixture Structures in Pretrained Latent Spaces

    May 25, 2026Konstantinos Emmanouilidis, Tianjiao Ding, Nghia Nguyen +2Adversarial TrainingRobustness Verification

    CS & MINDS Johns Hopkins University · CIS University of Pennsylvania

  37. LLM-Based Robustness Testing of Microservice Applications: An Empirical Study

    May 13, 2026Hrushitha Goud Tigulla, Marco VieiraMicroservicesRobustness Verification

    College of Computing and Informatics University of North Carolina at Charlotte Charlotte, USA

  38. Certified Robustness under Heterogeneous Perturbations via Hybrid Randomized Smoothing

    May 13, 2026Blaise Delattre, Hengyu Wu, Paul Caillon +2SmoothingRobustness Verification

    Department of Computer Science, School of Computing, Institute of Science Tokyo, Tokyo, Japan · PSL University, Paris, France · College of Computing and Data Science, Nanyang Technological University, Singapore

  39. Causal Parametric Drift Simulation: A Digital Twin Framework for Classifier Robustness Evaluation

    May 10, 2026Julien Lafrance, Richard Khoury, Véronique TremblayRobustness VerificationReal-World Cloud Fault Injection Dataset

    Laval University

  40. MedFL-Stress: A Systematic Robustness Evaluation of Federated Brain Tumor Segmentation under Cross-Hospital MRI Appearance Shift

    May 9, 2026Kiran Naseer, Naveed Anwer ButtBrain Tumor SegmentationFederated Learning

    University of Gujrat, Pakistan

  41. PACE: Prune-And-Compress Ensemble Models

    May 7, 2026Fabian Akkerman, Julien Ferry, Théo Guyard +1EnsembleRobustness Verification

    Industrial Engineering and Management Science University of Twente, Netherlands · SCALE-AI Chair and CIRRELT Polytechnique Montréal, Canada

  42. A Comparative Study of INDI and NDI with Nonlinear Disturbance Observer for Aerial Robotics

    May 7, 2026Benedetta Rota, Mirko Mizzoni, Amr Afifi +2Aerial RobotsDiffusion Inversion

    Department of Computer, Control and Management Engineering, Sapienza University of Rome, 00185 Rome, Italy · Robotics and Mechatronics group, Faculty of Electrical Engineering, Mathematics, and Computer Science (EEMCS), University of Twente, 7500 AE Enschede, The Netherlands · School of Aerospace, Mechanical, and Mechatronic Engineering (AMME), Faculty of Engineering, University of Sydney, NSW, 2006, Australia

  43. Sim-to-Real Transfer and Robustness Evaluation of Reinforcement Learning Control with Integrated Perception on an ASV for Floating Waste Capture

    May 4, 2026Luis F. W. Batista, Stéphanie Aravecchia, Cédric PradalierSim-To-Real Reinforcement LearningSim-To-Real Gap

    GeorgiaTech Europe - IRL2958 GT-CNRS, Metz, France

  44. Robustness Evaluation of a Foundation Segmentation Model Under Simulated Domain Shifts in Abdominal CT: Implications for Health Digital Twin Deployment

    Apr 28, 2026Sanghati BasuSegment Anything ModelMitigating Domain Shift

    Healthcare Informatics, University of Illinois Springfield

  45. OS-SPEAR: A Toolkit for the Safety, Performance,Efficiency, and Robustness Analysis of OS Agents

    Apr 27, 2026Zheng Wu, Yi Hua, Zhaoyuan Huang +8Safety BenchmarksSafety-Critical Scenarios

    School of Computer Science, Shanghai Jiao Tong University

  46. Towards Certified Malware Detection: Provable Guarantees Against Evasion Attacks

    Apr 22, 2026Nandakrishna Giri, Asmitha K. A., Serena Nicolazzo +2MalwareEvasion

    Department of Computer Applications, Cochin University of Science and Technology, India · Department of Electrical, Computer and Biomedical Engineering, University of Pavia, Via Adolfo Ferrata 5, 27100, Pavia, Italy

  47. Robustness Quantification for Discriminative Models: a New Robustness Metric and its Application to Dynamic Classifier Selection

    Mar 24, 2026Rodrigo F. L. Lassance, Jasper De BockRobustness VerificationClassifier

    Foundations Lab for imprecise probabilities (FLip), Ghent University, Ghent, Belgium · Statistics Dept., Federal University of São Carlos, São Carlos, São Paulo, Brazil · Institute of Mathematic and Computer Sciences, University of São Paulo, São Carlos, São Paulo, Brazil

  48. Lipschitz-Based Robustness Certification Under Floating-Point Execution

    Mar 6, 2026Toby MurrayFloating-PointLipschitz Continuity

    University of Melbourne, Australia

  49. Robustness as an Emergent Property of Task Performance

    Feb 3, 2026Shir Ashury-Tahan, Ariel Gera, Elron Bandel +2Robustness VerificationEmpirical Study

    IBM Research · MIT · Weizmann Institute of Science

  50. Learning-Based Automated Adversarial Red-Teaming for Robustness Evaluation of Large Language Models

    Dec 21, 2025Zhang Wei, Hanxuan Chen, Peilu Hu +19Red-TeamingRobustness Verification

    Independent Researcher · Hunan University · Shenzhen Kaihong Digital Industry Development Co., Ltd. +12

  51. Dual Randomized Smoothing: Beyond Global Noise Variance

    Dec 1, 2025Chenhao Sun, Yuhao Mao, Martin VechevSmoothingNoise-Aware

    Department of Computer Science, ETH Zürich, Switzerland

  52. Robustness assessment of large audio language models in multiple-choice evaluation

    Oct 6, 2025Fernando López, Santosh Kesiraju, Jordi LuqueLarge Audio Language ModelsText-To-Audio

    Scientific Research, Telef´onica Innovaci´on Digital, Spain · Brno University of Technology, Czech Republic

  53. Training Verifiably Robust Agents Using Set-Based Reinforcement Learning

    Aug 17, 2024Manuel Wendl, Lukas Koller, Tobias Ladner +1Reinforcement Learning With Verifiable RewardAdversarial Training

    Technical University of Munich, Germany

  54. Interpreting Global Perturbation Robustness of Image Models using Axiomatic Spectral Importance Decomposition

    Aug 2, 2024Róisín Luo, James McDermott, Colm O'RiordanMechanistic InterpretabilityRobustness Verification

    SFI Centre for Research Training in Artificial Intelligence · School of Computer Science, University of Galway

  55. Robust Linear Predictions: Analyses of Uniform Concentration, Fast Rates and Model Misspecification

    Jan 6, 2022Saptarshi Chakraborty, Debolina Paul, Swagatam DasOutliersRobustness Verification

    Department of Statistics, University of California, Berkeley · Department of Statistics, Stanford University · Electronics and Communication Sciences Unit, Indian Statistical Institute, Kolkata, India