Certified Robustness

Ask about this topic

Momentum

6 papers in the last four weeks, against 1 the four weeks before. 0.1% of all new papers.

Jul 13Week of Sep 28
View on map

Latest papers 63

All topics
CardsList

  1. Neural Network Verification for Deep Joint Source-Channel Coding

    Oct 8, 2026Thanh Le, Hai Duong, Takeshi Matsumura +1Certified RobustnessNeural Network Verification

    Wireless Systems Laboratory, National Institute of Information and Communication Technology, Yokosuka, Kanagawa, Japan · George Mason University, Fairfax, VA, USA

  2. Removing Information Content Does Not Certify Tamper Resistance in Open-Weight Models

    Oct 6, 2026Domenic Rosati, Alessa Carbo, Ali Dadsetan +5Certified RobustnessMachine Unlearning

    Dalhousie University · Vector Institute · Johns Hopkins University +1

  3. Lipschitz Thinking: Ten Years of Certifiable-by-Design Robust Neural Networks

    Oct 5, 2026Fabio Brau, Giorgio Piras, Maura Pintor +1Neural Network RobustnessCertified Robustness

    Department of Electrical and Electronic Engineering, University of Cagliari, Cagliari, Italy

  4. The Geometry of Randomized Smoothing on Feasible Sets

    Sep 30, 2026Syed Izhan Khilji, Alireza Furutanpey, Schahram DustdarRandomized SmoothingSelective Prediction

    Technische Universität Wien · NeverBlink · Technische Universität Wien Universitat Pompeu Fabra

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

    Sep 29, 2026Hanwei Zhang, Tianma Hu, Gaojie Jin +2Concept Bottleneck ModelsCertified Robustness

    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

  6. When a Flatness Proxy Is Not a Function: Robustness Certificates and Training Interventions

    Sep 29, 2026Vicente Opazo, Jose Calatayud-Mateu, Cristobal Rojas +1Flat MinimaCertified Robustness

    Centro Nacional de Inteligencia Artificial (CENIA) · Barcelona Supercomputing Center (BSC) · Pontificia Universidad Cat´olica de Chile

  7. Reachability-Based Formal Verification of Graph Neural Networks with Node and Edge Features

    Sep 24, 2026Anne M. Tumlin, Ben Wooding, Zhenxuan Shao +3Neural Network VerificationReachability Analysis

    Vanderbilt University, Nashville, TN, USA

  8. Certifying Lower Bounds for Risk-Sensitive Reinforcement Learning under Adversarial State Perturbations

    Sep 11, 2026Tong Li, Saunak Kumar Panda, Yisha XiangRisk-Sensitive RLAdversarial Perturbations

    Department of Industrial and Systems Engineering, University of Houston, 4302 University Dr, Houston, 77004, TX, USA. · Department of Decision and Information Science, University of Houston, 4302 University Dr, Houston, 77004, TX, USA.

  9. Towards a Resilience-Theoretic Foundation for Adversarial Robustness in Industrial Control System Anomaly Detection

    Sep 7, 2026Branka Stojanović, Andreas Flatscher, Michael SommaCyber-Physical SystemsAdversarial Robustness

    1JOANNEUM RESEARCH Forschungsgesellschaft mbH, Austria · 2TU Graz, Institute for Technical Informatics, Austria

  10. Certified Safety Radii in Forecast-Error Space for Wasserstein Distributionally Robust Small Signal Stability-Constrained AC Optimal Power Flow via Lifted Spectrahedral Containment

    Aug 31, 2026Ziqi Zhang, Xi ChenOptimal Power FlowDistributionally Robust Optimization

    College of Automation Engineering, Nanjing University of Aeronautics and Astronautics, Nanjing 211100, China

  11. Quality-Diversity Stress Tests for Process Reward Models:What Archive Coverage Can and Cannot Certify

    Aug 8, 2026Ibne Farabi Shihab, Fariya AfrinProcess Reward ModelsAdversarial Attacks

    Department of Computer Science, Iowa State University · Department of Computer Science, Kalinga Institute of Industrial Technology

  12. Double Down on Defense: Strengthening Deep Perceptual Hashes against Evasion Attacks without Retraining

    Aug 4, 2026Bangjie Sun, Nayoung Kim, Mun Choon Chan +1Image MatchingAdversarial Robustness

    National University of Singapore (NUS) · Korea Advanced Institute of Science and Technology (KAIST)

  13. CAGE: Certified Authorization under Typed-Return Uncertainty for Tool-Using Agents

    Jul 31, 2026Blaise Delattre, Cong Wang, Yang CaoLLM Agent SecurityTool-Using Agents

    Department of Computer Science, School of Computing, Institute of Science Tokyo, Tokyo, Japan · City University of Hong Kong

  14. Certified Training for Convolutional Perturbations

    Jul 20, 2026Benedikt Brückner, Alessio LomuscioImage Corruption RobustnessNeural Network Robustness

    Safe Intelligence · Imperial College London

  15. Traffic-Aware Randomized Smoothing for LLM-Based Network Intrusion Detection

    Jul 15, 2026Zhenpeng LiRandomized SmoothingNetwork Intrusion Detection

  16. Trustworthy Machine Learning through the Lens of Combinatorial Optimization: Survey and Research Perspectives

    Jul 8, 2026Thibaut Vidal, Julien FerryInterpretable MLCertified Robustness

    CIRRELT & SCALE-AI Chair in Data-Driven Supply Chains, Department of Mathematics and Industrial Engineering, Polytechnique Montreal, Montreal, Canada

  17. When Certificates Fail: A Unified Safety Framework for Embedded Neural Interface Models

    Jul 7, 2026Jasmeet Singh BindraBrain-Computer InterfacesNeural Network Robustness

    IKSMHA Center, IIT Mandi

  18. Higher-Order Certified Robustness for Regression

    Jul 6, 2026Jie Zhang, Natalie FrankRobust RegressionRandomized Smoothing

    University of Washington, USA

  19. Privacy-Preserving Robustness Verification for Neural Networks

    Jul 6, 2026Nianyun Song, Xiaokun Luan, Yu Guo +3Secure Multi-Party ComputationNeural Network 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. Robustness Verification of an Autonomous Underwater Vehicle-based Plankton Classifier

    Jul 5, 2026Abdelrahman Sayed Sayed, Pierre-Jean Meyer, Asgeir J. Sørensen +1Neural Network VerificationReachability Analysis

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

  21. Improving Certified Robustness via Adversarial Distillation

    Jun 30, 2026Matteo Melis, Jesus Martinez Del Rincon, Vishal SharmaNeural Network RobustnessCertified Robustness

    School of EEECS Queen’s University Belfast · School of EEECS2026 Queen’s University Belfast

  22. TrajRS: Towards Certified Robustness in Pedestrian Trajectory Prediction

    Jun 27, 2026Liang Zhang, Gaojie Jin, Yao Shi +4Randomized SmoothingPedestrian Trajectory Prediction

    Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China · University of Chinese Academy of Sciences, China · Hangzhou Institute for Advanced Study, UCAS, China +1

  23. What Was That Again? Certified Robustness for Automatic Speech Recognition

    Jun 26, 2026Andrew C. Cullen, Neil G. Marchant, Jiani Xie +2ASR EvaluationNeural Network Robustness

    University of Melbourne · DST Group, Adelaide

  24. Halt Fast! Early Stopping for Certified Robustness

    Jun 26, 2026Andrew C. Cullen, Paul Montague, Benjamin I. P. RubinsteinEfficient Neural Network InferenceEarly Stopping

    University of Melbourne · DST Group, Adelaide

  25. When Do Conservation Laws Survive Learned Representations? Certified Horizons for Latent World Models

    Jun 23, 2026Hongbo WangDynamical SystemsLatent World Models

    Department of Mathematics, Stony Brook University, Stony Brook, NY 11794, USA

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

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

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

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

    Jun 17, 2026Harshit Goyal, Sudakshina DuttaNeural Network VerificationBinary Neural Networks

    Indian Institute of Technology Goa

  28. Kernel of Partition Paths: A Unified Representation for Tree Ensembles

    Jun 17, 2026Nicolas MahlerFeature AttributionEnsemble Learning

    Datapred SAS 23 rue Mirabeau 94300 Vincennes, France · Datapred SA EPFL Innovation Park – Bâtiment A 1015 Lausanne, Switzerland

  29. Semantic Robustness Certification for Vision-Language Models

    Jun 17, 2026Peiyu Yang, Paul Montague, Feng Liu +4VLM RobustnessDistribution Shift

    School of Computing & Information Systems, University of Melbourne, Australia · Defence Science and Technology Group, Australia.

  30. Veriphi: Attack-Guided Neural Network Verification with Dataset-Dependent Training Methods

    Jun 16, 2026Pratik Deshmukh, Kartik Arya, Vasili SavinAdversarial TrainingNeural Network Verification

    TU Wien, Vienna, Austria