Cover Image

Probably Approximately Global Robustness Certification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Blohm, Peter, Indri, Patrick, Gärtner, Thomas, Malhotra, Sagar
Format:	Preprint
Published:	2025
Subjects:	Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Is BatchEnsemble a Single Model? On Calibration and Diversity of Efficient Ensembles
by: Zamyatin, Anton, et al.
Published: (2026)

Logical Distillation of Graph Neural Networks
by: Pluska, Alexander, et al.
Published: (2024)

Prime Implicant Explanations for Reaction Feasibility Prediction
by: Weinbauer, Klaus, et al.
Published: (2025)

On Local Limits of Sparse Random Graphs: Color Convergence and the Refined Configuration Model
by: Pluska, Alexander, et al.
Published: (2025)

Understanding Domain-Size Generalization in Markov Logic Networks
by: Chen, Florian, et al.
Published: (2024)

Beyond Topological Self-Explainable GNNs: A Formal Explainability Perspective
by: Azzolin, Steve, et al.
Published: (2025)

Probably Approximately Correct Labels
by: Candès, Emmanuel J., et al.
Published: (2025)

Probably Approximately Correct Causal Discovery
by: Wei, Mian, et al.
Published: (2025)

Probably Approximately Precision and Recall Learning
by: Cohen, Lee, et al.
Published: (2024)

Deep Symbolic Learning: Discovering Symbols and Rules from Perceptions
by: Daniele, Alessandro, et al.
Published: (2022)

Simple and Effective Transfer Learning for Neuro-Symbolic Integration
by: Daniele, Alessandro, et al.
Published: (2024)

Generalization Certificates for Adversarially Robust Bayesian Linear Regression
by: Sabanayagam, Mahalakshmi, et al.
Published: (2025)

Towards Poisoning Robustness Certification for Natural Language Generation
by: Ghitu, Mihnea, et al.
Published: (2026)

Improving Group Fairness in Knowledge Distillation via Laplace Approximation of Early Exits
by: Fasth, Edvin, et al.
Published: (2025)

GNN Explanations that do not Explain and How to find Them
by: Azzolin, Steve, et al.
Published: (2026)

The Probably Approximately Correct Learning Model in Computational Learning Theory
by: Servedio, Rocco A.
Published: (2025)

Cascading Robustness Verification: Toward Efficient Model-Agnostic Certification
by: Maleki, Mohammadreza, et al.
Published: (2026)

Tight Robustness Certification Through the Convex Hull of $\ell_0$ Attacks
by: Shapira, Yuval, et al.
Published: (2025)

Probably Approximately Correct Maximum A Posteriori Inference
by: Shorvon, Matthew, et al.
Published: (2026)

Robustness Certificates for Neural Networks against Adversarial Attacks
by: Taheri, Sara, et al.
Published: (2025)

Robust Conformal Prediction with a Single Binary Certificate
by: Zargarbashi, Soroush H., et al.
Published: (2025)

Finding Probably Approximate Optimal Solutions by Training to Estimate the Optimal Values of Subproblems
by: Megiddo, Nimrod, et al.
Published: (2025)

Geometric Gaussian Approximations of Probability Distributions
by: Da Costa, Nathaël, et al.
Published: (2025)

Localized Randomized Smoothing for Collective Robustness Certification
by: Schuchardt, Jan, et al.
Published: (2022)

A Probably Approximately Correct Analysis of Group Testing Algorithms
by: H., Sameera Bharadwaja, et al.
Published: (2024)

Efficient Preimage Approximation for Neural Network Certification
by: Björklund, Anton, et al.
Published: (2025)

Distributionally Robust Policy and Lyapunov-Certificate Learning
by: Long, Kehan, et al.
Published: (2024)

Towards Certification of Uncertainty Calibration under Adversarial Attacks
by: Emde, Cornelius, et al.
Published: (2024)

Et Tu Certifications: Robustness Certificates Yield Better Adversarial Examples
by: Cullen, Andrew C., et al.
Published: (2023)

Tight Robustness Certificates and Wasserstein Distributional Attacks for Deep Neural Networks
by: Le, Bach C., et al.
Published: (2025)

Robust Multi-agent Communication via Multi-view Message Certification
by: Yuan, Lei, et al.
Published: (2023)

A Barrier Certificate-based Simplex Architecture for Systems with Approximate and Hybrid Dynamics
by: Damare, Amol, et al.
Published: (2022)

A General-Purpose Theorem for High-Probability Bounds of Stochastic Approximation with Polyak Averaging
by: Khodadadian, Sajad, et al.
Published: (2025)

WILTing Trees: Interpreting the Distance Between MPNN Embeddings
by: Negishi, Masahiro, et al.
Published: (2025)

CRAUM-Net: Contextual Recursive Attention with Uncertainty Modeling for Salient Object Detection
by: Sagar, Abhinav
Published: (2020)

AlphaFold's Bayesian Roots in Probability Kinematics
by: Hamelryck, Thomas, et al.
Published: (2025)

Lipschitz-Based Robustness Certification for Recurrent Neural Networks via Convex Relaxation
by: Hamelbeck, Paul, et al.
Published: (2025)

Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification
by: Anderson, Brendon G., et al.
Published: (2021)

Probably Approximately Consensus: On the Learning Theory of Finding Common Ground
by: Blair, Carter, et al.
Published: (2026)

Preconditioned Gradient Descent for Overparameterized Nonconvex Burer--Monteiro Factorization with Global Optimality Certification
by: Zhang, Gavin, et al.
Published: (2022)