Certification

Ask about this topic

Momentum

8 papers in the last four weeks, up 33% on the four weeks before. 0.1% of all new papers.

Jul 13Week of Sep 28
View on map

Latest papers 50

All topics
CardsList

  1. PrivCert: Certifying Statement Support under Differential Privacy

    Sep 30, 2026Tsubasa Takahashi, Takumi HiraokaPrivacyCertification

    Acompany Co., Ltd.

  2. Terminal-Register Certification for Finite-Measurement Learning of Multiscale Quantum States

    Sep 27, 2026Bhvain Makwana, Kashyap Patel, Manjunath Joshi +1QubitCertification

    Dhirubhai Ambani University, Gandhinagar, Gujarat, India · Georgia Institute of Technology, Atlanta, Georgia, USA

  3. NNV3: Expanding Neural Network Verification to New Architectures and Domains

    Sep 24, 2026Anne M. Tumlin, Samuel Sasaki, Ben Wooding +8Neural Network VerificationFormal Verification

    Vanderbilt University, USA · The University of Texas at Dallas, USA

  4. Finite-Sample Probabilistic Safety Certification for AI-Based Grid-Edge Coordination

    Sep 23, 2026Yihong Zhou, Hanbin Yang, Thomas MorstynProbabilistic SafetyArtificial Intelligence Safety

    Department of Engineering Science, University of Oxford, U.K.

  5. A Functional Pilot for Certified Freshness-Aware Semantic--Spatial Range Retrieval

    Sep 17, 2026Taimoor AhmadGeospatialPrecision Recall

    Superior University Lahore, Pakistan

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

    Sep 11, 2026Tong Li, Saunak Kumar Panda, Yisha XiangConditional-Value-At-RiskOffline Reinforcement Learning

    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.

  7. CHOIR: heterogeneity-aware conformal prediction for crash injury severity across driver safety strata

    Sep 10, 2026Amir Rafe, Subasish DasCertificationCrashes

    Civil Engineering, Texas State University, 601 University Drive, San Marcos, 78666 TX, USA

  8. Risk-Averse Decision Making with Multi-Level Reliability Guarantees

    Sep 10, 2026Amirmohammad Farzaneh, Osvaldo SimeoneCertification

    Institute for Intelligent Networked Systems (INSI), Northeastern University London, London, UK

  9. SafeRestore: Detector-Relative Risk Certificates for Selective Industrial Image Restoration

    Sep 3, 2026Shaoliang Yang, Jun WangImage RestorationRestoration

    Santa Clara University Santa Clara, CA 95053, USA

  10. Following a Unique Path: A Fast Certifier Applied to Outlier-Robust Pose Registration

    Sep 2, 2026Connor Holmes, Abhishek Goudar, Timothy D. BarfootCategory-Level Object Pose EstimationConvex Relaxation

    University of Toronto Robotics Institute, University of Toronto, Toronto, Ontario, Canada

  11. SOVER: Formal Certification of Optimization Reformulations via LLM-Assisted SMT Verification

    Sep 1, 2026Swapnil Bhattacharyya, Mayank BaranwalSatisfiabilityOptimization Modeling

    TCS Research, Mumbai · Indian Institute of Technology Bombay

  12. Non-Degenerate Risk Certification for Automated Security Decisions: A Decision-Contract Theory with ATT&CK-Aligned Triage as a Worked Instance

    Aug 12, 2026Zhenpeng LiArtificial Intelligence RiskRisk

    Guangzhou Health Science College, No. 248 Guangyuan Middle Road, Guangzhou, Guangdong 510405, China

  13. Certifying What Helps Customer-Return Timing: A Screen-and-Confirm Test for Conditioning Signals, and Why Decay Is Nearly Enough

    Aug 12, 2026Sang Su Lee, Vineeth Loganathan, Shishir Dash +1Time-To-Event DataDeterminantal Point Process

    Thumbtack, Inc. San Francisco, CA, USA

  14. Certify or Refuse: A Cross-Model Map for Selective Risk Control with Coverage Floors under Covariate Shift

    Aug 11, 2026Jiamiao Liu, Dewen Qiao, Yu Zhang +1CertificationCovariate Shift

    Department of Information, Xinqiao Hospital Army Medical University (Third Military Medical University) Chongqing 400037, China

  15. The Cost of Adaptivity: Matching Lower Bounds Across Learning Problems

    Aug 9, 2026Ibne Farabi Shihab, Adria Binte HabibLower BoundsCertification

    Department of Computer Science, Iowa State University, USA · Department of Computer Science & Engineering, Independent University of Bangladesh, Bangladesh

  16. Private Anytime Selective-Risk Certification for Federated Retrieval-Augmented Generation: Guarantees and Empirical Limits

    Aug 8, 2026Sanjeda Akter, Ibne Farabi Shihab, Anuj SharmaConformal Risk ControlFedavg

    Department of Computer Science, Iowa State University · Department of Civil, Construction & Environmental Engineering, Iowa State University

  17. AV-AIVAT: 74x Cheaper Agent Evaluation with Certified Anytime-Valid Stopping in Imperfect-Information Games

    Aug 6, 2026Boning Li, Yu Chen, Longbo HuangPokerAgentic Evaluations

    IIIS, Tsinghua University

  18. Post-Hoc Trajectory-Risk Certification for Modular LLM-Based Security Agents

    Aug 4, 2026Zhenpeng LiSecurityCertification

    Guangzhou Health Science College, No. 248 Guangyuan Middle Road, Guangzhou, Guangdong 510405, China

  19. SafeCommit: Certifying When Memory-Grounded Agents May Safely Act

    Aug 4, 2026Mayur Akewar, Ravi RanjanProbabilistic SafetySafer

    Florida International University

  20. Certifying Plans under Model Mismatch: A Trilemma for Reachability from Scarce Data

    Aug 3, 2026Yanliang Huang, Zhen Zhang, Ahmad Hafez +4CertificationReachability

    School of Computation, Information and Technology, Technical University of Munich, Munich, Germany · School of Engineering, Hainan Bielefeld University of Applied Sciences, Hainan, China

  21. Self-Certification of Representation Adequacy: Sequential Certification at Minimum Task Loss

    Aug 3, 2026Zijie HuangCertificationLoss Function

    Independent Researcher

  22. ModelEquivBench: Certifying Multi-Relational Evaluation of LLM-Generated Optimization Models

    Jul 31, 2026Penglin Zhu, Jungang XuOptimization ModelingEquivalence

    School of Computer Science and Technology, University of the Chinese Academy of Sciences

  23. Finite-Sample Coverage Audits for High-Recall Candidate Generation: Certification and Learning-Theoretic Design

    Jul 23, 2026Martin Anthony, Kaveh Salehzadeh NobariModel AuditingCertification

    Data Science Institute, London School of Economics and Political Science · Department of Mathematics, London School of Economics and Political Science · The Inclusion Initiative, London School of Economics and Political Science

  24. Towards a Certifying Grounder

    Jul 23, 2026Daimy Van Caudenberg, Alexander Ek, Carlos Cantero +1First-Order LogicCertification

    KU Leuven, Leuven, Belgium · ARC Training Centre OPTIMA, Melbourne, Australia · Vrije Universiteit Brussel, Brussels, Belgium

  25. Unlearning as Distribution Restoration: A Controlled Counterfactual Study, a Validated Selective Screen, and the Limits of Oracle-Free Certification

    Jul 21, 2026Sen Yang, Yuen-Hei YeungCertificationRetraining

    Stern School of Business New York University · Courant Institute of Mathematical Sciences New York University

  26. Closing the AI Trust Gap: The Case for Independent Certification for Trustworthy AI

    Jul 17, 2026Trisevgeni Papakonstantinou, Cansu Canca, Farah Nanji +14Trustworthy Artificial IntelligenceAI Trustworthiness

    University College London · AI Ethics Lab · University of Cambridge +8

  27. Certifying Residual Architectures from Their Primitives: A Sharp Stability Threshold

    Jul 16, 2026Hyemin Gu, Michael Tyrrell, Tuhin Sahai +1Residual NetworksResidual Connections

    University of Massachusetts Amherst · SRI International

  28. Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems

    Jul 13, 2026Yu Nakai, Akira Terui, Masahiko MikawaRobotic ManipulatorHilbert Series

    University of Tsukuba, Tsukuba, Japan

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

    Jul 7, 2026Jasmeet Singh BindraNeural Network VerificationBrain-Computer Interface

    IKSMHA Center, IIT Mandi

  30. Improving Certified Robustness via Adversarial Distillation

    Jun 30, 2026Matteo Melis, Jesus Martinez Del Rincon, Vishal SharmaAdversarial TrainingCertification

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

  31. Structural Certification for Reliable Physical Design with Language Models

    Jun 29, 2026Nakul Vyas, Iliya D. StoevCertificationFalsehood

    Heysuvi Labs, LLC, US Operations & Research, 7345 W Sand Lake Rd, Ste 210, Orlando, 32819, FL, United States. · Institute of Biological and Chemical Systems - Functional Molecular Systems, Karlsruhe Institute of Technology, Hermann-von-Helmholtz-Platz 1, Eggenstein-Leopoldshafen, 76344, Baden-Württemberg, Germany.

  32. Algorithmic Unverifiability of Safety for Fixed and Recursively Self-Improving Systems

    Jun 26, 2026Jose Pascual Gumbau MezquitaArtificial Intelligence SafetyProbabilistic Safety

    University Jaume I de Castell´o, Spain

  33. Certification of Machine Learning Models via Directional Sharpness

    Jun 23, 2026Gefei Tan, Adria Gascon, Sarah Meiklejohn +1CertificationSharpness-Aware Minimization

    Northwestern University & Google · Google · University College London

  34. From Forecasting Leaderboards to Deployment Decisions: A Fail-Closed Certification Protocol

    Jun 23, 2026Geumyoung KimCertificationLeaderboard

    Chungbuk National University

  35. 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

  36. From Sparse Features to Trustworthy Proxies: Certifying SAE-Based Interpretability

    Jun 16, 2026Dibyanayan Bandyopadhyay, Asif EkbalInterpretabilityModel Activations

    Department of Computer Science and Engineering, Indian Institute of Technology Patna, Bihar, India.

  37. Semantic Quorum Assurance: Collective Certification for Non-Deterministic AI Infrastructure

    Jun 6, 2026Jun He, Deying YuAgentic DeploymentsArtificial Intelligence Infrastructure

  38. CARVE-Q: Quantum-Proposed, Classically Certified Interactive Driving Repair

    Jun 3, 2026Yifan WangPost-Quantum CryptographyRepair

    Department of Mechanical Engineering, McGill University · QC, H3A 2T7, Canada

  39. Rethinking Evaluation Paradigms in IBP-based Certified Training

    Jun 1, 2026Konstantin Kaulen, Hadar Shavit, Holger H. HoosNeural Network VerificationCertification

    Chair of AI Methodology, RWTH Aachen University, Aachen, Germany · LIACS, Leiden University, Leiden, The Netherlands

  40. Non-Vacuous Certification of Transport MCMC via Oscillation-Controlled Normalizing Flows

    May 31, 2026Jun HuMarkov Chain Monte CarloNormalizing Flows

    China Sanya Science and Education Innovation Park, Wuhan University of Technology, Sanya 572025, China · School of Civil Engineering and Architecture, Wuhan University of Technology, Wuhan 430070, China

  41. Conformal Certification of Reasoning Trace Prefixes

    May 28, 2026Matt Y. Cheung, Ashok Veeraraghavan, Hanjie Chen +1Reasoning TracesCertification

    Department of Electrical & Computer Engineering, Rice University · Department of Computer Science, Rice University

  42. Certification from Examples is Hard for Circuits and Transformers under Minimal Overparametrization

    May 21, 2026Artur Back de Luca, Kimon FountoulakisCertificationNeural Network Verification

    University of Waterloo

  43. Claim-Selective Certification for High-Risk Medical Retrieval-Augmented Generation

    May 21, 2026Shao KanCertificationCertificates

    Jinglue Technology Development (Nanjing) Co., Ltd.

  44. SHIELD: Scalable Optimal Control with Certification using Duality and Convexity

    May 9, 2026Hansung Kim, Siddharth H. Nair, Francesco BorrelliModel Predictive ControlOptimal Control

    Model Predictive Control Laboratory, UC Berkeley · Nextracker Inc.

  45. Safety Certification is Classification

    May 7, 2026Oliver Schön, Licio Romao, Sadegh SoudjaniProbabilistic SafetyCertification

    ETH Zürich · Zürich, Switzerland · Technical University of Denmark +3

  46. Certified vs. Empirical Adversarial Robust-ness via Hybrid Convolutions with Attention Stochasticity

    May 2, 2026Joy Dhar, Song Xia, Manish Kumar Pandey +5Adversarial TrainingConvolutional Block Attention Module

    1Indian Institute of Technology Ropar · 2Nanyang Technological University · 3RoentGen Health +5

  47. Autonomous Systems Dependability in the era of AI: Design Challenges in Safety, Security, Reliability and Certification

    Apr 30, 2026Behnaz Ranjbar, Kirankumar Raveendiran, Sudeep Pasricha +3Safety-Critical ScenariosCertification

    Chair of Embedded Systems, Ruhr Universität Bochum, Germany · Colorado State University, US · The University of North Carolina at Chapel Hill, US, and The TUM Institute for Advanced Study, Germany +1

  48. Laplace-Bridged Randomized Smoothing for Fast Certified Robustness

    Apr 27, 2026Miao Lin, MD Saifur Rahman Mazumder, Feng Yu +2SmoothingNoise-Aware

    Department of Computer Science, Old Dominion University, Norfolk, VA, USA · Department of Mathematical Sciences, University of Texas at El Paso, El Paso, TX, USA · School of Cybersecurity, Old Dominion University, Norfolk, VA, USA

  49. Descent Before Hardness: Orbit-Gap Obstructions in Exact Certification

    Apr 8, 2026Tristan SimasTractabilityCertification

    McGill University, Montreal, Quebec, Canada

  50. The Contribution of XAI for the Safe Development and Certification of AI: An Expert-Based Analysis

    Jul 22, 2024Benjamin Fresz, Vincent Philipp Göbels, Safa Omri +5XaiEu Artificial Intelligence Act

    Fraunhofer Institute for Manufacturing Engineering and Automation IPA, Stuttgart, Germany · Fraunhofer Institute for Industrial Engineering IAO, Heilbronn, Germany · Institute of Industrial Manufacturing and Management IFF, University of Stuttgart, Germany