Some theoretical improvements on the tightness of PAC-Bayes risk certificates for neural networks

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: García-Pérez, Diego, Parrado-Hernández, Emilio, Shawe-Taylor, John
Format: Preprint
Publié: 2025
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866915611591835648
author García-Pérez, Diego
Parrado-Hernández, Emilio
Shawe-Taylor, John
author_facet García-Pérez, Diego
Parrado-Hernández, Emilio
Shawe-Taylor, John
contents This paper presents four theoretical contributions that improve the usability of risk certificates for neural networks based on PAC-Bayes bounds. First, two bounds on the KL divergence between Bernoulli distributions enable the derivation of the tightest explicit bounds on the true risk of classifiers across different ranges of empirical risk. The paper next focuses on the formalization of an efficient methodology based on implicit differentiation that enables the introduction of the optimization of PAC-Bayesian risk certificates inside the loss/objective function used to fit the network/model. The last contribution is a method to optimize bounds on non-differentiable objectives such as the 0-1 loss. These theoretical contributions are complemented with an empirical evaluation on the MNIST and CIFAR-10 datasets. In fact, this paper presents the first non-vacuous generalization bounds on CIFAR-10 for neural networks. Code to reproduce all experiments is available at github.com/Diegogpcm/pacbayesgradients.
format Preprint
id arxiv_https___arxiv_org_abs_2510_07935
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Some theoretical improvements on the tightness of PAC-Bayes risk certificates for neural networks
García-Pérez, Diego
Parrado-Hernández, Emilio
Shawe-Taylor, John
Machine Learning
Information Theory
This paper presents four theoretical contributions that improve the usability of risk certificates for neural networks based on PAC-Bayes bounds. First, two bounds on the KL divergence between Bernoulli distributions enable the derivation of the tightest explicit bounds on the true risk of classifiers across different ranges of empirical risk. The paper next focuses on the formalization of an efficient methodology based on implicit differentiation that enables the introduction of the optimization of PAC-Bayesian risk certificates inside the loss/objective function used to fit the network/model. The last contribution is a method to optimize bounds on non-differentiable objectives such as the 0-1 loss. These theoretical contributions are complemented with an empirical evaluation on the MNIST and CIFAR-10 datasets. In fact, this paper presents the first non-vacuous generalization bounds on CIFAR-10 for neural networks. Code to reproduce all experiments is available at github.com/Diegogpcm/pacbayesgradients.
title Some theoretical improvements on the tightness of PAC-Bayes risk certificates for neural networks
topic Machine Learning
Information Theory
url https://arxiv.org/abs/2510.07935