Before you move a control in the demo, say what you expect to change.
Foundation reference
Overparameterization & Generalization, Double Descent
Double descent is a pattern in which test error falls, rises to a peak near the model size that first fits the training data exactly, then falls again as the model grows. Image classifiers that can fit even randomly labeled training data still generalize well on real labels, which the classical U-shaped picture of test error does not explain (Zhang et al., 2017).
Study guide
Where to start
Why can a larger network generalize better than a smaller one that also fits the training data, rather than simply memorizing more?
How to study this pagePredict · Check · Generalize · Continue
Compare what the demo shows with the key equation and with the papers cited below.
Identify the part of the idea that survives a change of notation or model, so you can recognize it in another paper or system.
The newer notebook covers the same concept and has an interactive demo.
Why It Matters for Modern Models
- Double descent is a pattern in which test error falls, rises to a peak near the model size that first fits the training data exactly, then falls again as the model grows. Image classifiers that can fit even randomly labeled training data still generalize well on real labels, which the classical U-shaped picture of test error does not explain (Zhang et al., 2017).
- Large language models are a different case: they are usually trained on more tokens than they have parameters (Chinchilla used about 20 tokens per parameter), and compute-optimal scaling laws model how their test loss depends on both model size and data (Hoffmann et al., 2022).
Questions to Think About
- Among the infinitely many solutions that fit the training data, which one do SGD and Adam select, and why does that choice matter for test error?
Interactive Demos
Core Math
If you prefer intuition first, try the demos above, then come back for the math.
Classical learning theory predicts that test error is a U-shaped function of model capacity. Many models instead show double descent: test error peaks near the interpolation threshold, where the model first fits the training data exactly, and falls again as capacity keeps growing (Belkin et al., 2019; Nakkiran et al., 2020).
For squared loss, the expected test error splits into three parts:
In minimum-norm least squares, the variance term blows up when the number of parameters is close to the number of training examples and falls again beyond it, because among the many interpolating solutions the algorithm picks the one with the smallest norm (Hastie et al., 2022).