Certificates

Ask about this topic

Momentum

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

Jul 13Week of Sep 28
View on map

Latest papers 49

All topics
CardsList

  1. Reserve-Aware Contrast Certificates for Conservative Bandits with Uncertain Baselines

    Sep 30, 2026Qinchuan ChengBanditsConservative

    School of Automation Science and Engineering, Xi’an Jiaotong University, Xi’an, China

  2. Certified Selective Automation of LLM Agent Evaluation

    Sep 28, 2026Chengguang Gan, Yunhao Liang, Qinghao Zhang +1Agentic EvaluationsAutomated

    Independent Researcher · University of Chinese Academy of Sciences · Pusan National University +1

  3. How Many Labels Does Model Choice Need? Certificates and Budgets for Selective Prediction

    Sep 16, 2026Tetsuji KuboyamaModel SelectionConfidence Intervals

    Computer Centre, Gakushuin University

  4. Maximum Strong Independent Sets in Hypergraphs: Reductions, Bounds, and Greedy Certificates

    Sep 16, 2026Yingquan, Wu, Jason CongMaximum Independent SetHypergraphs

    Cody · MBZUAI Institute of Foundation Models Sunnyvale, CA, USA · University of California, Los Angeles Los Angeles, CA, USA

  5. Signed Sensitivity of Expected Hitting Time to Mutation Rate in the (1+1) EA: Per-State Sign Theorems and Verifiable Certificates for Non-Lumpable Families

    Sep 14, 2026RenKai WangCertificatesTask Success Rate

    Institute of Automation, Chinese Academy of Sciences (CASIA) · University of Chinese Academy of Sciences (UCAS)

  6. K-Bench: A Benchmark for LLM Unlearning in Agentic Deployments

    Sep 11, 2026Guangsheng Yu, Yanna Jiang, Qin Wang +2Large Language Model UnlearningAgentic Deployments

    University of Technology Sydney, Australia · CSIRO, Australia

  7. X-amine509: Predicting the Practical Risk Level of Enterprise X.509 Certificates

    Sep 8, 2026Cameron Keith, Shubh Patel, JD Kilgallin +1CertificatesSecurity Evaluation

    Analytics and AI Team Keyfactor Hanover, NH · Analytics and AI Team Keyfactor Cleveland, OH

  8. When Can One Obtain Certificates of Optimality Using Positivstellensaetze?

    Sep 8, 2026Nayoon Kim, Allen Gehret, Shenyuan Ma +1Finite-Sample CertificatesOptimality

  9. Common-Witness Certificates and Sharp Feature Bounds for Counterfactual Image Auditing

    Sep 3, 2026Usef Faghihi, Amir SakiWitnessesFinite-Sample Certificates

    Department of Mathematics and Computer Science, Université du Québec à Trois-Rivières, Trois-Rivières, Quebec, Canada

  10. When Can a Machine Trust a Statute? A Survival Certificate for Machine-Extracted Legal Logic

    Sep 1, 2026Surya SakaFalse-Negative RateCertificates

    JudicialMind

  11. A Certificate-Producing Cascade for Equational Implication: The SAIR EQT2 Stage 2 Solver

    Sep 1, 2026Haobo Ma, Wenlin Zhang, Manuel Israel CázaresEquivalenceTheorem Proving

    ChronoAI Pte. Ltd. · Singapore · National University of Singapore +2

  12. Adapting Without Gradients: Affine Statistics Transport and What Its Certificate Can Tell You

    Aug 31, 2026Salim Khazem, Ibrahim Mohamed SerouisTest-Time AdaptationFrozen Backbone

    Talan Research Center · Paris, France · Toulouse, France

  13. Training Under Challenge: Executable Certificates and Challenge-Closed Optimality for Neural Networks

    Aug 12, 2026Farhang Yeganegi, Arian Eamaz, Mojtaba SoltanalianNeural Network VerificationFinite-Sample Certificates

    Department of Electrical and Computer Engineering University of Illinois Chicago Chicago, Illinois, USA

  14. Support Selection Beyond Smooth DAG Exactness: Completion Geometry,Score Margins, and Selective Certificates

    Aug 8, 2026Rui Wu, Zongyuan Chen, Hong XieDirected Acyclic GraphCertificates

    School of Computer Science and Engineering, University of Science and Technology of China

  15. When Absence Is Evidence: Evaluating Completeness-Sensitive Negative Reasoning in Large Language Models

    Aug 5, 2026Byoungjae Min, Kennedy Edemacu, Sae-Hong Cho +3LLM Reasoning StrategiesNegative Results

    Department of Computer Science, Sangmyung University, Seoul, Republic of Korea · College of Staten Island, The City University of New York, New York, NY, USA · School of Computer Engineering, Hansung University, Seoul, Republic of Korea +2

  16. GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation

    Aug 4, 2026Corrado PriamiAgentic WorkflowsCertificates

    Dipartimento di Informatica, Università di Pisa and Fondazione Start Attractor

  17. LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean

    Jul 30, 2026Pablo Manrique, Stefan SzeiderSatisfiabilityTheorem Proving

    Algorithms and Complexity Group TU Wien, Vienna, Austria

  18. Error Certificates for KV-Cache Eviction via Randomized Design

    Jul 23, 2026Peng XieKey-Value Cache EvictionEviction

    Technical University of Munich

  19. Publicly-Verifiable Certificates for Statistical Algorithms

    Jul 17, 2026Michael Ngo, Michael P. KimZero-Knowledge ProofsCertificates

    MIT · Research completed while at Cornell University, supported by the Bowers Undergraduate Research Experience (BURE) and the Dean Archer Undergraduate Research Program. · Cornell University

  20. CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees

    Jul 16, 2026Haifeng Li, Mo HaiCertificatesStructured Pruning

    School of Information, Central University of Finance and Economics Beijing 102206, China

  21. Saturation Makes Quantization Error Additive: A Coverage Model with a Certificate

    Jul 14, 2026Joshua HillMixed-Precision QuantizationSaturation

    Baseten Labs, Inc. · David R. Cheriton School of Computer Science, University of Waterloo

  22. Forgetful Attention: A Trainable Support-Vector Memory with Certified Selection and Exact Unlearning

    Jul 13, 2026Vishwajith RameshLinear AttentionForgetting

    Vy Labs, Inc.

  23. Implicit Neural Networks as Static Controllers: Certificates and Performance Separation

    Jul 13, 2026Giuseppe C. Calafiore, Laurent El GhaouiLearning-Based ControlRobust Control

  24. NL-PAC: Specification Ambiguity and Certified Minimax Risk Floors in LLM-Mediated Supervision

    Jul 9, 2026Berkay AnahtarciAutomatic LabellingNatural Language

    Department of Mathematical Engineering, Özyeğin University, Istanbul, Türkiye

  25. Secure Decentralized Federated Learning via Gossip and Virtual Voting

    Jul 9, 2026Amirhossein Taherpour, Xiaodong WangGossipFederated Learning

    Department of Electrical Engineering, Columbia University, New York, NY, USA

  26. Restricted Dynamic Geometric Complexity: Path-Space Reduction and Möbius--Jacobi Response

    Jul 8, 2026Zavier LiSpectral PreconditioningShape Optimization

    Xidian University, Xi’an, China

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

  28. Certified Speculative Execution for Untrusted AI Agents

    Jun 30, 2026Chenyu Zhou, Qiliang Jiang, Shuning Wu +1Trustworthy Artificial IntelligenceCryptographic Merkle Tree Commitments

    School of Engineering, Institute of Science Tokyo, Japan · College of Control Science and Engineering, Zhejiang University, China · Department of Electrical and Computer Engineering, National University of Singapore, Singapore

  29. Cycle-Consistent Neural Explanation of Formal Verification Certificates

    Jun 23, 2026Andoni Rodriguez, Alberto Pozanco, Daniel BorrajoFormal VerificationNeural Network Verification

    J.P. Morgan AI Research

  30. Cryptographic certificates of validity for trustworthy AI

    Jun 22, 2026Murdoch J. GabbayZero-Knowledge ProofsTrustworthy Artificial Intelligence

    Heriot-Watt University, Edinburgh, UK

  31. Toward AI-Resilient Assessment in Computer Science Courses in an AI-Native World

    Jun 16, 2026Anshumali ShrivastavaComputer ScienceComputerized Adaptive Testing

    Department of Computer Science, Rice University

  32. Provably Safe, Yet Scalable Reinforcement Learning

    Jun 12, 2026Kai S. Yun, Zeyang Li, Navid AzizanProvable GuaranteesCertificates

    MIT

  33. Duality for Optimal Multi-Item, Multi-Bidder Auction Design: Revenue Certificates through Deep Learning

    Jun 8, 2026Yanchen Jiang, David C. Parkes, Tonghan WangFirst-Price AuctionsPrimal-Dual Methods

    Harvard University, USA · College of AI, Tsinghua University, China

  34. A Joint Finite-Sample Certificate for Adaptive Selective Conformal Risk Control

    Jun 7, 2026Xiaoli Yu, Jiamiao LiuConformal Risk ControlFinite-Sample Certificates

    School of Cyber Security and Information Law Chongqing University of Posts and Telecommunications Chongqing 400065, China · Department of Information, Xinqiao Hospital Army Medical University (Third Military Medical University) Chongqing 400037, China

  35. A Finite Certificate for the Positive n=9n=9 Vasc Inequality

    Jun 4, 2026Dakai Guo, Ruichen Qiu, Yichuan Cao +1Finite-Sample CertificatesCertificates

    State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, and the School of Mathematics, University of Chinese Academy of Sciences, Beijing, People’s Republic of China.

  36. Proof-Carrying Agent Actions: Model-Agnostic Runtime Governance for Heterogeneous Agent Systems

    Jun 2, 2026Zexun WangCertificates

    Ond Holdings Inc.

  37. Optimizing Explicit Unit-Distance Lower-Bound Certificates

    Jun 2, 2026Michael T. M. EmmerichFinite-Sample CertificatesLower Bounds

    Faculty of Information Technology, University of Jyväskylä, Finland.

  38. RRISE: Robust Radius Inference via a Surrogate Estimator

    Jun 1, 2026Jong-Ik Park, Shreyas Chaudhari, Carlee Joe-Wong +1SmoothingMachine Learning Surrogates

    Carnegie Mellon University

  39. Certificates without Electrons? Theory and Evidence on Impacts from AI-Driven Power Demand

    May 30, 2026Dana Golden, Aruna Balasubramanian, Niranjan BalasubramanianData CentersImpact Analysis

    Department of Economics, Stony Brook University, Stony Brook, 11794, New York, USA · Department of Computer Science, Stony Brook University, Stony Brook, 11794, New York, USA

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

    May 21, 2026Shao KanCertificationCertificates

    Jinglue Technology Development (Nanjing) Co., Ltd.

  41. Hallucination as Exploit: Evidence-Carrying Multimodal Agents

    May 18, 2026Guijia Zhang, Hao Zheng, Harry YangMultimodal AgentsReference-Guided Multimodal In-Context Verification

    1Shenzhen University · 2HKUST

  42. A Simplex Witness Certificate and Escape Force for Constant Collapse in Variational Autoencoders

    May 18, 2026Zegu Zhang, Jian ZhangConditional Variational AutoencoderCollapse

    Independent Researcher

  43. Proof-Carrying Certificates for LLM Pipelines: A Trust-Boundary Architecture

    May 13, 2026George KoomullilLarge Language Model ReliabilityCertificates

    Ascendr, Inc.

  44. Gaming the Metric, Not the Harm: Certifying Safety Audits against Strategic Platform Manipulation

    May 7, 2026Florian A. D. Burnat, Brittany I. DavidsonSafety BenchmarksSecurity Evaluation

    University of Bath

  45. A Testable Certificate for Constant Collapse in Teacher-Guided VAEs

    May 7, 2026Zegu Zhang, Jianhua Peng, Jian ZhangCollapseConditional Variational Autoencoder

    Independent Researcher · school of computing, Southeast University

  46. Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems

    May 4, 2026Miriam Kranzlmüller, Lukas Koller, Tobias Ladner +1Neural Network VerificationFinite-Sample Certificates

    Technical University of Munich, Germany · Ludwig-Maximilians-Universität in Munich, Germany

  47. Stochastic Barrier Certificates in the Presence of Dynamic Obstacles

    Apr 22, 2026Rayan Mazouz, Luca Laurenti, Morteza LahijanianControl Barrier FunctionsObstacle Avoidance

    Dept. of Aerospace Eng. Sciences at University of Colorado Boulder, USA · Delft University of Technology, The Netherlands

  48. Formally Verified Patent Analysis via Dependent Type Theory: Machine-Checkable Certificates from a Hybrid AI + Lean 4 Pipeline

    Apr 20, 2026George KoomullilPatentFormal Verification

    Ascendr, Inc.

  49. No Certificate, No Categorical Speech Act: A Brouwerian Assertibility Constraint for Public Reason

    Mar 4, 2026Michael JülichEpistemologyCertificates

    aihorizon R&D, Munich, Germany.