Cover Image

Tightening the Evaluation of PAC Bounds Using Formal Verification Results

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Walker, Thomas, Lomuscio, Alessio
Format:	Preprint
Published:	2024
Subjects:	Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels
by: Brückner, Benedikt, et al.
Published: (2024)

Out-of-Distribution Detection using Counterfactual Distance
by: Stoica, Maria, et al.
Published: (2025)

Tight Verification of Probabilistic Robustness in Bayesian Neural Networks
by: Batten, Ben, et al.
Published: (2024)

Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation
by: Batten, Ben, et al.
Published: (2024)

IoUCert: Robustness Verification for Anchor-based Object Detectors
by: Brückner, Benedikt, et al.
Published: (2026)

LTL Verification of Memoryful Neural Agents
by: Hosseini, Mehran, et al.
Published: (2025)

Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification
by: Marzari, Luca, et al.
Published: (2025)

Better-than-KL PAC-Bayes Bounds
by: Kuzborskij, Ilja, et al.
Published: (2024)

Empirical PAC-Bayes Bounds for Markov Chains
by: Karagulyan, Vahe, et al.
Published: (2025)

Refined PAC-Bayes Bounds for Offline Bandits
by: Gouverneur, Amaury, et al.
Published: (2025)

Computational Tradeoffs of Optimization-Based Bound Tightening in ReLU Networks
by: Badilla, Fabian, et al.
Published: (2023)

ST-BCP: Tightening Coverage Bound for Backward Conformal Prediction via Non-Conformity Score Transformation
by: Liu, Junxian, et al.
Published: (2026)

PAC-Bayesian Domain Adaptation Bounds for Multi-view learning
by: Hennequin, Mehdi, et al.
Published: (2024)

PAC-Bayesian Bounds on Constrained f-Entropic Risk Measures
by: Atbir, Hind, et al.
Published: (2025)

Online-to-PAC Conversions: Generalization Bounds via Regret Analysis
by: Lugosi, Gábor, et al.
Published: (2023)

PAC-Bayes Bounds for Multivariate Linear Regression and Linear Autoencoders
by: Guo, Ruixin, et al.
Published: (2025)

Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification
by: Sayed, Abdelrahman Sayed, et al.
Published: (2025)

A DPI-PAC-Bayesian Framework for Generalization Bounds
by: Guan, Muhan, et al.
Published: (2025)

PAC-Chernoff Bounds: Understanding Generalization in the Interpolation Regime
by: Masegosa, Andrés R., et al.
Published: (2023)

PAC-Bayesian Adversarially Robust Generalization Bounds for Graph Neural Network
by: Sun, Tan, et al.
Published: (2024)

PAC-Bayes Bounds for Gibbs Posteriors via Singular Learning Theory
by: Wang, Chenyang, et al.
Published: (2026)

PAC-Bayes Generalisation Bounds for Dynamical Systems Including Stable RNNs
by: Eringis, Deividas, et al.
Published: (2023)

Improving Generalization of Complex Models under Unbounded Loss Using PAC-Bayes Bounds
by: Zhang, Xitong, et al.
Published: (2023)

Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone
by: Xiao, Yuan, et al.
Published: (2022)

Leveraging PAC-Bayes Theory and Gibbs Distributions for Generalization Bounds with Complexity Measures
by: Viallard, Paul, et al.
Published: (2024)

PAC-Bayesian Generalization Bounds for Graph Convolutional Networks on Inductive Node Classification
by: Tang, Huayi, et al.
Published: (2025)

A Framework for Bounding Deterministic Risk with PAC-Bayes: Applications to Majority Votes
by: Leblanc, Benjamin, et al.
Published: (2025)

PAC-Bayesian Generalization Bounds for Knowledge Graph Representation Learning
by: Lee, Jaejun, et al.
Published: (2024)

Controlling Multiple Errors Simultaneously with a PAC-Bayes Bound
by: Adams, Reuben, et al.
Published: (2022)

Regularized GLISp for sensor-guided human-in-the-loop optimization
by: Cercola, Matteo, et al.
Published: (2025)

Tightening optimality gap with confidence through conformal prediction
by: Li, Miao, et al.
Published: (2025)

Is Multi-Distribution Learning as Easy as PAC Learning: Sharp Rates with Bounded Label Noise
by: Hanashiro, Rafael, et al.
Published: (2026)

Expressive Losses for Verified Robustness via Convex Combinations
by: De Palma, Alessandro, et al.
Published: (2023)

Automated Conjecture Resolution with Formal Verification
by: Ju, Haocheng, et al.
Published: (2026)

Fully Automatic Neural Network Reduction for Formal Verification
by: Ladner, Tobias, et al.
Published: (2023)

Generalization Bounds via Meta-Learned Model Representations: PAC-Bayes and Sample Compression Hypernetworks
by: Leblanc, Benjamin, et al.
Published: (2024)

Towards A Unified PAC-Bayesian Framework for Norm-based Generalization Bounds
by: Yi, Xinping, et al.
Published: (2026)

Pseudo-Formalization for Automatic Proof Verification
by: Barkallah, Slim, et al.
Published: (2026)

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
by: Sanchez-Stern, Alex, et al.
Published: (2024)

Achieving the Tightest Relaxation of Sigmoids for Formal Verification
by: Chevalier, Samuel, et al.
Published: (2024)