Saved in:
Bibliographic Details
Main Authors: Lintilhac, Paul, Shaikh, Sair
Format: Preprint
Published: 2026
Subjects:
Online Access:https://arxiv.org/abs/2605.20988
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866911717641945088
author Lintilhac, Paul
Shaikh, Sair
author_facet Lintilhac, Paul
Shaikh, Sair
contents We study transformers' generalization behavior on boolean domains from the perspective of the Fourier spectra of their target functions. In contrast to prior work (Edelman et al., 2022; Trauger & Tosh, 2024), which derived generalization bounds from Rademacher complexity, we investigate the feasibility of obtaining generalization bounds via PAC-Bayes theory. We show that sparse spectra concentrated on low-degree components enable low-sharpness constructions with good generalization properties. Our idea is to show the existence of flat minima implementing any boolean function of sparsity no greater than the context length, and then apply a PAC-Bayes bound to an idealized low-sharpness learner, resulting in a non-vacuous generalization bound. We use this to give a formal account of why chain-of-thought improves generalization for high-degree target functions, and show that the complexity parameters in our bound can be efficiently estimated via property testing. We evaluate predictions empirically and conduct a mechanistic interpretability study to support the realism of our theoretical construction in real transformers.
format Preprint
id arxiv_https___arxiv_org_abs_2605_20988
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle A Sharper Picture of Generalization in Transformers
Lintilhac, Paul
Shaikh, Sair
Machine Learning
Artificial Intelligence
We study transformers' generalization behavior on boolean domains from the perspective of the Fourier spectra of their target functions. In contrast to prior work (Edelman et al., 2022; Trauger & Tosh, 2024), which derived generalization bounds from Rademacher complexity, we investigate the feasibility of obtaining generalization bounds via PAC-Bayes theory. We show that sparse spectra concentrated on low-degree components enable low-sharpness constructions with good generalization properties. Our idea is to show the existence of flat minima implementing any boolean function of sparsity no greater than the context length, and then apply a PAC-Bayes bound to an idealized low-sharpness learner, resulting in a non-vacuous generalization bound. We use this to give a formal account of why chain-of-thought improves generalization for high-degree target functions, and show that the complexity parameters in our bound can be efficiently estimated via property testing. We evaluate predictions empirically and conduct a mechanistic interpretability study to support the realism of our theoretical construction in real transformers.
title A Sharper Picture of Generalization in Transformers
topic Machine Learning
Artificial Intelligence
url https://arxiv.org/abs/2605.20988