Skip to content

Halt Fast! Early Stopping for Certified Robustness

Jun 2026 · arXiv.org · Vol abs/2606.27694 · 0 citations · 49 references
Computer Science

TL;DR

This work presents a novel meta-learning framework for anytime-valid certified robustness that adaptively deploys computational resources and demonstrates how anytime-validity enables adaptively allocating compute based upon application-specific risk thresholds, a form of resource triage impossible under classic certification frameworks.

Abstract

Randomized Smoothing (RS) provides rigorous robustness guarantees for neural networks without architectural constraints, yet its adoption is limited by extreme computational costs. Standard RS requires tens of thousands of model evaluations per input and forces practitioners to commit to fixed sample sizes a priori. In this work, we present a novel meta-learning framework for anytime-valid certified robustness that adaptively deploys computational resources. By using a lightweight meta-learner to predict image-specific priors for a sequential E-process, we achieve a 20-fold reduction in sample complexity compared to traditional methods while maintaining rigorous statistical guarantees. Beyond raw efficiency, we demonstrate how anytime-validity enables adaptively allocating compute based upon application-specific risk thresholds, a form of resource triage impossible under classic certification frameworks. That this is achievable while also providing similar certification performance demonstrates that our approach provides a pathway for real-time, safety-critical certification deployments.

View source

Similar papers

#machine learning Preprint Aug 2026

Certified but Private: Scalable Zero-Knowledge Proofs for Neural Network Guarantees

PANDA is a scalable system that uses zero-knowledge proofs to prove the robustness and fairness properties of a model without revealing its private parameters, and can generate proofs of local robustness for neural networks with more than 2.9M parameters in 5 minutes, and can verify them in 10 seconds.

Youwei Zhong, Ben Merbaum, Timos Antonopoulos et al. · 0 citations

Diverge to Converge: Mutual Heterogeneous Learning for Robust Pruning

Mutual Heterogeneous Learning (MHL) is proposed, a framework enabling robust pruning via single-model inference that significantly outperforms single-model baselines in both adversarial robustness and corruption robustness, while maintaining competitive clean accuracy.

Jinhui Yu, Zikai Zhang, Khaled A. Harras et al. · 0 citations
Preprint Jul 2026

Higher-Order Certified Robustness for Regression

This work derives a prediction-centered certificate that guarantees the stability of the smoothed model's prediction and ensures practical computability at test time and demonstrates on the MNIST rotation task that utilizing gradient information yields significantly tighter robustness certificates compared to the current state-of-the-art, alpha-smoothing.

Jie Zhang, Natalie S. Frank · 0 citations

Scaling Test-Time Compute via Generative Verification in Constrained Parameter Regimes

This project investigates scaling test-time compute through a Generative Verifier (GV) on the Countdown mathematical reasoning task using a computationally constrained 0.5B parameter regime, hypothesizing that the “verification gap” will widen at higher values of N due to the model’s limited semantic capacity.

Mohammad Rehan Ghori · 0 citations
Preprint Aug 2026

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

This work defines a resource-indexed challenge-power modulus that characterizes the largest gap compatible with passage, and proves the converse frontier: without coverage, a first-order ReLU trainer can reach infinitely many exact conditional head optima while converging to a non-global point.

Farhang Yeganegi, Arian Eamaz, M. Soltanalian · 0 citations
Preprint Aug 2026

Uncovering the Limits of Proof Sharing for Neural Networks

This study shows that template subsumption rates can vary widely across scenarios, and presents FastCert, a novel technique for automatically distributing templates across neural network layers to increase performance impact, eschewing templates entirely if they are unlikely to produce a speedup.

Kanak Das, Shubham Ugare, B. E. Chang et al. · 0 citations