Finite-Sample Certificates

Ask about this topic

Momentum

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

Jul 13Week of Sep 28
View on map

Latest papers 54

All topics
CardsList

  1. Finite-Data Safety Informativity Under Dynamic Asymmetric Actuation

    Oct 1, 2026Abhinav Sinha, Praveen Kumar Ranjan, Yongcan CaoProbabilistic SafetyFinite-Sample Certificates

    GALACxIS Lab, Department of Aerospace Engineering, University of Cincinnati, Cincinnati, OH 45221, USA · Unmanned Systems Lab (USL), Department of Electrical Engineering, The University of Texas at San Antonio, TX 78249, USA

  2. Prequential E-Values for Selected-GP Near-Optimality Certificates

    Sep 30, 2026Ami Tavory, Noa CohenFinite-Sample CertificatesConfidence Intervals

    Meta Platforms

  3. Audit-First VAPO: Risk-Certified Selective Updates under Imperfect Verification

    Sep 27, 2026Miaobo Hu, Shuhao Hu, Xiaobo Guo +5Finite-Sample CertificatesModel Auditing

    School of Artificial Intelligence, University of Chinese Academy of Sciences, Beijing, China · Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China

  4. Sharp training-conditional coverage for conformal prediction under covariate shift

    Sep 27, 2026Mehrdad PournaderiOnline Conformal PredictionCovariate Shift

    Mofid Securities

  5. On the SoS Certifiability of Log-Concave Distributions

    Sep 24, 2026Aleksandr StorozhenkoLog-Concave DistributionsFinite-Sample Certificates

    Princeton University.

  6. Escape-Aware Control Barrier Functions for Quadrotor Safety under Body-Rate Limits

    Sep 15, 2026Lei Shi, Haosong Wen, Qichao LiuQuadrotorControl Barrier Functions

    University of Wisconsin–Madison · Southeast University · The Hong Kong Polytechnic University

  7. Certified Uncertainty Propagation in One-Shot Federated Bayesian Models via Posterior Event Transport

    Sep 14, 2026Mahyar Mohammadi, Mohammad Hossein Badiei, Abolfazl Yaghmaei +1Bayesian Neural NetworksFinite-Sample Certificates

    School of Electrical and Computer Engineering, College of Engineering, University of Tehran, Tehran, 1417614411, Iran · School of Computer Science, Institute for Research in Fundamental Sciences (IPM), P.O. Box 19395-5746, Tehran, Iran

  8. Supermartingale Certificates for Parametric MDPs

    Sep 14, 2026Kaushik Mallik, \DHorj̣e ŽikelićMarkov Decision ProcessesConformal Test Martingales

    IMDEA Software Institute, Madrid, Spain

  9. Interpolation Is Not Invariance: Pair Count Is Not Coverage in Transformation Audits

    Sep 14, 2026Mohammed Ahnouch, Lotfi ElaachakModel AuditingLong-Run Coverage Guarantees

    Université Paris 1 Paris, France · Faculty of Science and Technology of Tangier Abdelmalek Essaadi University Tangier, Morocco

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

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

  11. A Theory of Reliable Self-Evolution for Agent Harnesses

    Sep 8, 2026Qianshu Cai, Yonggang Zhang, Jun Nie +6Evolving HarnessSelf-Evolution

    University of Science and Technology of China · Hong Kong Generative AI Research & Development Center; The Hong Kong University of Science and Technology · Hong Kong Baptist University

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

  13. Exact Risk-Complexity Laws for Projective Boundaries in Scenario Optimization and Distribution-Free Certification

    Sep 1, 2026Giuseppe C. CalafioreFinite-Sample CertificatesBoundaries

    Department of Electronics and Telecommunications, Politecnico di Torino, Italy

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

  15. Cone Rayleigh Levels: Finite Perturbations and Certified Control

    Aug 27, 2026Yavdat Sh. Il'yasov, Nur F. ValeevFinite-Sample Certificates

    Institute of Mathematics with Computing Centre, Ufa Federal Research Centre of the Russian Academy of Sciences, 112 Chernyshevsky St., Ufa 450008, Russia.

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

  17. Sub-Quadratic Bisimulation Metrics via Approximate Nearest Neighbors: Coverage-Augmented Guarantees and Computable Two-Sided Certificates

    Aug 7, 2026Ibne Farabi Shihab, Joyanta Jyoti MondalFinite-Sample CertificatesMarkov Decision Processes

    Department of Computer Science, Iowa State University, USA · Department of Computer and Information Sciences, University of Delaware, USA

  18. One Qubit Can Beat One Bit: Quantum Advantage for Post-Training Quantization

    Aug 5, 2026Yuma Ichikawa, Moeto MishimaQubitPost-Training Quantization

    Fujitsu Limited, RIKEN for AIP · RIKEN for AIP · Fujitsu Limited

  19. RouteGuard: Certifying Routing Gain in LLM Multi-Agent Systems When Complementarity Is Not Enough

    Aug 5, 2026Anchen Sun, Kaiqi YangLarge Language Model RoutingMulti-Agent Large Language Model Systems

    Department of Electrical and Computer Engineering, University of Miami, Coral Gables, FL 33146 USA · Department of Mathematics, University of Miami, Coral Gables, FL 33146 USA

  20. Optimal Unambiguous DNFs and Alon-Saks-Seymour

    Aug 3, 2026Chirag PabbarajuMaximum Independent SetFinite-Sample Certificates

    Stanford University.

  21. Finite-Probe Total-Variation Certificates for Finite-Basis Drifting Models

    Aug 3, 2026Sam Andersson, Ricky MolénFinite-SampleFinite-Sample Certificates

    Department of Clinical Neuroscience, Karolinska Institutet, Stockholm, Sweden · Department of Computational Science and Technology, KTH Royal Institute of Technology, Stockholm, Sweden

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

  23. WitCert: Sound Runtime Risk Observability and Gating for KV-Cache Quantization

    Jul 30, 2026Fanzhe Wei, Li Liu, Ziyang Wang +1Key-Value Cache QuantizationCache

    Metask Lab

  24. Partially Correlated Verifier Cascades in LLM Harnesses: Concave Log-Odds, Polynomial Reliability, and Blind-Spot Ceilings

    Jul 15, 2026Jiangang HanVerification FrameworkFinite-Sample Certificates

    Independent researcher

  25. Active Noise Floor Estimation for Reliability-Optimal POMDPs: A Value-of-Noise-Information Approach

    Jul 13, 2026Hyung-Jin YoonState EstimationPartially Observable Markov Decision Process

    Department of Mechanical and Nuclear Engineering, Tennessee Technological University, Cookeville, TN 37135, USA

  26. Identifiability of Relational Queries in Multi-View Pretraining

    Jul 6, 2026Ratan Bahadur Thapa, Daniel HernándezIdentifiabilityQueries

    Analytic Computing, KI, University of Stuttgart, Stuttgart, Germany

  27. PAC-Bayesian Certificates for Quadratic Closed-Loop Control

    Jun 26, 2026Domagoj HercegLinear Quadratic RegulatorClosed Loop

    Department of Mechanical Engineering Eindhoven University of Technology The Netherlands

  28. Conformal Recovery-Deadline Certificates for Runtime Assurance of Adapting Controllers

    Jun 24, 2026Alireza ShojaeiRuntime EnforcementFinite-Sample Certificates

    Myers-Lawson School of Construction, Virginia Tech, Blacksburg, VA 24061 USA

  29. On Local Population-Risk Certificates

    Jun 17, 2026Mingzhi SongFinite-Sample CertificatesConformal Risk Control

    Department of Mathematics, The University of Hong Kong, Hong Kong

  30. Horizon-Uniform Sensitivity Certificates for Finite-Horizon Pontryagin Systems

    Jun 16, 2026Pyuyi Chufeng Huang, Zikang Song, Xingshu ChenLyapunov FunctionOptimal Control

    School of Cyber Science and Engineering, Sichuan University, Chengdu, Sichuan, China · School of Mathematics, Sichuan University, Chengdu, Sichuan, China

  31. Sum-of-Squares Degree Barriers for the Reweighted-Hinge Method in Robust Halfspace Learning: A Christoffel-Function Characterization

    Jun 15, 2026Xiaoyu LiFinite-Sample CertificatesOutliers

    University of New South Wales

  32. VGPT-RSI for RH-Adjacent Formal Progress: Boundary Certificates, Verified Finite Lagarias Inequalities, and Explicit Failure Localization

    Jun 13, 2026Zhixin Hu, Tao Xu, Xiaodian Sun +2Finite-Sample CertificatesTheorem Proving

    Ministry of Education Key Laboratory of Contemporary Anthropology, School of Life Sciences, Fudan University, Shanghai, China. · Department of Immunology and Molecular Microbiology, School of Medicine, Texas Tech University Health Science Center, Lubbock, TX 79430, USA. · Biostatistics and Bioinformatics Shared Resource, Sylvester Comprehensive Cancer Center, University of Miami Miller School of Medicine, Miami, FL 33136 +2

  33. Reliable Error Estimation for PINNs: Lower and Upper A Posteriori Bounds

    Jun 10, 2026Ismail Huseynov, Arzu Ahmadova, Agamirza BashirovParametric Physics-Informed Neural NetworkUpper Bounds

    Physikalisch-Technische Bundesanstalt (PTB), Germany · Technical University of Berlin, Germany · Weierstrass Institute for Applied Analysis and Stochastics, Berlin, Germany +1

  34. Bellman-sufficient Information Complexity

    Jun 9, 2026Yunbei XuInformation-Theoretic LimitsBellman Equation

    National University of Singapore

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

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

  37. Scenario Generation for Risk-Aware Reinforcement Learning with Probably Approximately Safe Guarantees

    Jun 3, 2026Mohit Prashant, Arvind EaswaranReinforcement Learning With Verifiable RewardSafety Constraints

    Nanyang Technological University

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

  39. Finite Certificates for In-Context Determinacy and a Threshold Theory of Emergence in Language Models

    May 30, 2026Faruk Alpay, Hamdi AlakkadLarge Language Model ReliabilityFinite-Sample Certificates

    Department of Computer Engineering Bahcesehir University, Istanbul, Turkey · Department of Artificial Intelligence Engineering Bahcesehir University, Istanbul, Turkey

  40. Self-Certifying Transport MCMC via Dual Spectral-Gap Certificates

    May 29, 2026Jun HuFinite-Sample CertificatesMarkov Chain Monte Carlo

    Wuhan University of Technology, Wuhan, China

  41. Iterative Causal Discovery: Per-Edge Impossibility Certificates, Tier-Aware Oracle Queries, and the 1+K1+K Lower Bound

    May 26, 2026Eichi UeharaCausal Discovery MethodsIdentifiability

    aflo, Inc., Tokyo, Japan

  42. Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial

    May 26, 2026Haoyu Li, Xiangru Zhong, Hao Cheng +2Neural Network VerificationLearning-Based Control

    Department of Computer Science · Department of Electrical and Computer Engineering, University of Illinois Urbana-Champaign, Urbana, IL 61801, USA

  43. Quadratic Characterizations for Reachability Analysis of Neural Networks

    May 19, 2026Elias Khalife, Mazen Farhood, Pierre-Loic GarocheNeural Network VerificationReachability

    Kevin T. Crofton Department of Aerospace and Ocean Engineering, Virginia Tech, Blacksburg, VA 24061, USA · Federation ENAC ISAE-SUPAERO ONERA, Universite de Toulouse, Toulouse, France

  44. k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics

    May 19, 2026Ben Wooding, Hongchao Zhang, Taylor T. Johnson +1Control Barrier FunctionsFinite-Sample Certificates

    Vanderbilt University, Nashville, TN, USA · Newcastle University, Newcastle upon Tyne, UK

  45. Conformal Selective Acting: Anytime-Valid Risk Control for RLVR-Trained LLMs

    May 18, 2026Hamed Khosravi, Xiaoming HuoConformal Risk ControlReinforcement Learning With Verifiable Reward

    Georgia Institute of Technology

  46. From LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares Certificates

    May 14, 2026Ruobing Zuo, Hanrui Zhao, Gaolei He +2Theorem ProvingProof

    School of Software Engineering, East China Normal University, Shanghai, China · College of Computer Science and Technology, National University of Defense Technology, Changsha, China · School of Computer and Information Engineering, Henan University, Kaifeng, China

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

    May 13, 2026George KoomullilLarge Language Model ReliabilityCertificates

    Ascendr, Inc.

  48. Efficient Verification of Neural Control Barrier Functions with Smooth Nonlinear Activations

    May 8, 2026Jun Zhang, Haibo Zhang, Chun Liu +2Control Barrier FunctionsLearning-Based Control

    School of Mechatronic Engineering and Automation, Shanghai University, Shanghai, China · Beijing Institute of Control Engineering, Beijing, China · School of Mechatronic Engineering and Automation, Shanghai2026 University, Shanghai, China +1

  49. Disagreement-Regularized Importance Sampling for Adversarial Label Corruption

    May 8, 2026Csongor Horváth, Ida-Maria Sintorn, Prashant SinghNoisy LabelsImportance

    Department of Information Technology, Uppsala University, Uppsala, Sweden · Science for Life Laboratory, Uppsala University, Uppsala, Sweden

  50. When Does Trimming Help Conformal Prediction? A Retained-Law Diagnostic under Calibration Contamination

    May 7, 2026Congye WangOnline Conformal PredictionFinite-Sample Certificates

    Newcastle University

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

  52. State-Dependent Lyapunov Analysis of Rank-1 Matrix Factorization

    Apr 28, 2026Jaehong MoonLyapunov FunctionStep Accuracy

    Industrial & Enterprise Systems Engineering University of Illinois at Urbana-Champaign Urbana, IL 61801

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

  54. CBW: Towards Dataset Ownership Verification for Speaker Verification via Clustering-based Backdoor Watermarking

    Mar 2, 2025Yiming Li, Kaiying Yan, Jiawen Diao +4Dataset Ownership VerificationAutomatic Speaker Verification

    College of Computing and Data Science, Nanyang Technological University, Singapore, 639798, Singapore · School of Artificial Intelligence, Shanghai Jiao Tong University, Shanghai, 200030, China · Beijing Electronic Science and Technology Institute, Beijing, 100070, China +4