Broken Neural Scaling Law

In machine learning, a neural scaling law is an empirical scaling law that describes how neural network performance changes as key factors are scaled up or down. These factors typically include the number of parameters, training dataset size, and training cost.

Introduction

In general, a deep learning model can be characterized by four parameters: model size, training dataset size, training cost, and the post-training error rate (e.g., the test set error rate). Each of these variables can be defined as a real number, usually written as $N, D, C, L$ (respectively: parameter count, dataset size, computing cost, and loss).

A neural scaling law is a theoretical or empirical statistical law between these parameters. There are also other parameters with other scaling laws.

Size of the model

In most cases, the model's size is simply the number of parameters. However, one complication arises with the use of sparse models, such as mixture-of-expert models. With sparse models, during inference, only a fraction of their parameters are used. In comparison, most other kinds of neural networks, such as transformer models, always use all their parameters during inference.

Size of the training dataset

The size of the training dataset is usually quantified by the number of data points within it. Larger training datasets are typically preferred, as they provide a richer and more diverse source of information from which the model can learn. This can lead to improved generalization performance when the model is applied to new, unseen data.Goodfellow, I., Bengio, Y., & Courville, A. (2016). Deep Learning. MIT Press. However, increasing the size of the training dataset also increases the computational resources and time required for model training.

With the "pretrain, then finetune" method used for most large language models, there are two kinds of training dataset: the ''pretraining'' dataset and the ''finetuning'' dataset. Their sizes have different effects on model performance. Generally, the finetuning dataset is less than 1% the size of pretraining dataset.

In some cases, a small amount of high quality data suffices for finetuning, and more data does not necessarily improve performance.

Cost of training

Training cost is typically measured in terms of time (how long it takes to train the model) and computational resources (how much processing power and memory are required). It is important to note that the cost of training can be significantly reduced with efficient training algorithms, optimized software libraries, and parallel computing on specialized hardware such as GPUs or TPUs.

The cost of training a neural network model is a function of several factors, including model size, training dataset size, the training algorithm complexity, and the computational resources available. In particular, doubling the training dataset size does not necessarily double the cost of training, because one may train the model for several times over the same dataset (each being an "epoch").

Performance

The performance of a neural network model is evaluated based on its ability to accurately predict the output given some input data. Common metrics for evaluating model performance include:

* Negative log-likelihood per token (logarithm of perplexity) for language modeling;
* Accuracy, precision, recall, and F1 score for classification tasks;
* Mean squared error (MSE) or mean absolute error (MAE) for regression tasks;
* Elo rating in a competition against other models, such as gameplay or preference by a human judge.

Performance can be improved by using more data, larger models, different training algorithms, regularizing the model to prevent overfitting, and early stopping using a validation set.

When the performance is a number bounded within the range of $$, 1/math>, such as accuracy, precision, etc., it often scales as a sigmoid function of cost, as seen in the figures.

Examples

(Hestness, Narang, et al, 2017)

The 2017 paper is a common reference point for neural scaling laws fitted by statistical analysis on experimental data. Previous works before the 2000s, as cited in the paper, were either theoretical or orders of magnitude smaller in scale. Whereas previous works generally found the scaling exponent to scale like $L \propto D^$, with $\alpha \in \$, the paper found that \alpha \in .07, 0.35/math>.

Of the factors they varied, only task can change the exponent $\alpha$. Changing the architecture optimizers, regularizers, and loss functions, would only change the proportionality factor, not the exponent. For example, for the same task, one architecture might have $L = 1000 D^$ while another might have $L = 500 D^$. They also found that for a given architecture, the number of parameters necessary to reach lowest levels of loss, given a fixed dataset size, grows like $N \propto D^$ for another exponent $\beta$.

They studied machine translation with LSTM ($\alpha \sim 0.13$), generative language modelling with LSTM (\alpha \in .06, 0.09 \beta \approx 0.7), ImageNet classification with ResNet (\alpha \in .3, 0.5 \beta \approx 0.6), and speech recognition with two hybrid (LSTMs complemented by either CNNs or an attention decoder) architectures ($\alpha \approx 0.3$).

(Henighan, Kaplan, et al, 2020)

A 2020 analysis studied statistical relations between $C, N, D, L$ over a wide range of values and found similar scaling laws, over the range of N \in 0^3, 10^9/math>, C\in 0^, 10^/math>, and over multiple modalities (text, video, image, text to image, etc.).

In particular, the scaling laws it found are (Table 1 of ):

* For each modality, they fixed one of the two $C, N$, and varying the other one ($D$ is varied along using $D = C/6N$), the achievable test loss satisfies$L = L_0 + \left( \frac\right)^\alpha$where $x$ is the varied variable, and $L_0, x_0, \alpha$ are parameters to be found by statistical fitting. The parameter $\alpha$ is the most important one.
** When $N$ is the varied variable, $\alpha$ ranges from $0.037$ to $0.24$ depending on the model modality. This corresponds to the $\alpha = 0.34$ from the Chinchilla scaling paper.
** When $C$ is the varied variable, $\alpha$ ranges from $0.048$ to $0.19$ depending on the model modality. This corresponds to the $\beta = 0.28$ from the Chinchilla scaling paper.
* Given fixed computing budget, optimal model parameter count is consistently around$N_(C) =\left(\frac\right)^ = 9.0\times 10^ C^$The parameter $9.0 \times 10^$ varies by a factor of up to 10 for different modalities. The exponent parameter $0.7$ varies from $0.64$ to $0.75$ for different modalities. This exponent corresponds to the $\approx 0.5$ from the Chinchilla scaling paper.
* It's "strongly suggested" (but not statistically checked) that $D_(C) \propto N_(C)^ \propto C^$. This exponent corresponds to the $\approx 0.5$ from the Chinchilla scaling paper.

The scaling law of $L = L_0 + (C_0/C)^$ was confirmed during the training of GPT-3 (Figure 3.1 ).

Chinchilla scaling (Hoffmann, et al, 2022)

One particular scaling law (" Chinchilla scaling") states that, for a large language model (LLM) autoregressively trained for one epoch, with a cosine learning rate schedule, we have:$\begin C = C_0 ND\\ L = \frac + \frac + L_0 \end$where the variables are

* $C$ is the cost of training the model, in FLOPS.
* $N$ is the number of parameters in the model.
* $D$ is the number of tokens in the training set.
* $L$ is the average negative log-likelihood loss per token ( nats/token), achieved by the trained LLM on the test dataset.
** $L_0$ represents the loss of an ideal generative process on the test data
** $\frac$ captures the fact that a Transformer language model with $N$ parameters underperforms the ideal generative process
** $\frac$ captures the fact that the model trained on $D$ tokens underperforms the ideal generative process

and the statistical parameters are

* $C_0 = 6$, meaning that it costs 6 FLOPs per parameter to train on one token. This is estimated by Kaplan et al. Note that training cost is much higher than inference cost, as training entails both forward and backward passes, whereas inference costs 1 to 2 FLOPs per parameter to infer on one token.
* $\alpha = 0.34, \beta = 0.28, A = 406.4, B = 410.7, L_0 = 1.69$.
Although Besiroglu et al. claims that the statistical estimation is slightly off, and should be $\alpha = 0.35, \beta = 0.37, A = 482.01, B = 2085.43, L_0 = 1.82$.

The statistical laws were fitted over experimental data with N\in \times 10^7, 1.6 \times 10^ D \in \times 10^9, 5\times 10^ C \in 0^, 10^/math>.

Since there are 4 variables related by 2 equations, imposing 1 additional constraint and 1 additional optimization objective allows us to solve for all four variables. In particular, for any fixed $C$, we can uniquely solve for all 4 variables that minimizes $L$. This provides us with the optimal $D_(C), N_(C)$ for any fixed $C$:$N_(C)=G\left(\frac\right)^a, \quad D_(C)=G^\left(\frac\right)^b, \quad \text \quad G=\left(\frac\right)^, \quad a=\frac \text b=\frac \text$Plugging in the numerical values, we obtain the "Chinchilla efficient" model size and training dataset size, as well as the test loss achievable:$\begin N_(C) = 0.6 \; C^ \\ D_(C) = 0.3 \; C^ \\ L_(C) = 1070 \; C^ + 1.7 \end$Similarly, we may find the optimal training dataset size and training compute budget for any fixed model parameter size, and so on.

There are other estimates for "Chinchilla efficient" model size and training dataset size. The above is based on a statistical model of $L = \frac + \frac + L_0$. One can also directly fit a statistical law for $D_(C), N_(C)$ without going through the detour, for which one obtains:$\begin N_(C) = 0.1 \; C^\\ D_(C) = 1.7 \; C^ \end$or as tabulated:

Discrepancy

The Chinchilla scaling law analysis for training transformer language models suggests that for a given training compute budget ($C$), to achieve the minimal pretraining loss for that budget, the number of model parameters ($N$) and the number of training tokens ($D$) should be scaled in equal proportions, $N_(C) \propto C^, D_(C) \propto C^$.
This conclusion differs from analysis conducted by Kaplan et al., which found that $N$ should be increased more quickly than $D$, $N_(C) \propto C^, D_(C) \propto C^$.

This discrepancy can primarily be attributed to the two studies using different methods for measuring model size. Kaplan et al.:

* did not count the parameters in the token embedding layer, which when analyzed at smaller model sizes leads to biased coefficients;
* studied smaller models than the Chinchilla group, magnifying the effect;
* assumed that $L_\infty = 0$.

Secondary effects also arise due to differences in hyperparameter tuning and learning rate schedules. Kaplan et al.:

* used a warmup schedule that was too long for smaller models, making them appear less efficient;
* did not fully tuning optimization hyperparameters.

Beyond Chinchilla scaling

As Chinchilla scaling has been the reference point for many large-scaling training runs, there had been a concurrent effort to go "beyond Chinchilla scaling", meaning to modify some of the training pipeline in order to obtain the same loss with less effort, or deliberately train for longer than what is "Chinchilla optimal".

Usually, the goal is to make the scaling law exponent larger, which means the same loss can be trained for much less compute. For instance, filtering data can make the scaling law exponent larger.

Another strand of research studies how to deal with limited data, as according to Chinchilla scaling laws, the training dataset size for the largest language models already approaches what is available on the internet. found that augmenting the dataset with a mix of "denoising objectives" constructed from the dataset improves performance. studies optimal scaling when all available data is already exhausted (such as in rare languages), so one must train multiple epoches over the same dataset (whereas Chinchilla scaling requires only one epoch). The Phi series of small language models were trained on textbook-like data generated by large language models, for which data is only limited by amount of compute available.

Chinchilla optimality was defined as "optimal for training compute", whereas in actual production-quality models, there will be a lot of inference after training is complete. "Overtraining" during training means better performance during inference. LLaMA models were overtrained for this reason. Subsequent studies discovered scaling laws in the overtraining regime, for dataset sizes up to 32x more than Chinchilla-optimal.

Broken neural scaling laws (BNSL)

A 2022 analysis found that many scaling behaviors of artificial neural networks follow a smoothly broken power law functional form:

$y = a + \bigg(bx^\bigg) \prod_^n \left(1 + \left(\frac\right)^\right)^$

in which $x$ refers to the quantity being scaled (i.e. $C$, $N$, $D$, number of training steps, number of inference steps, or model input size) and $y$ refers to the ''downstream'' (or upstream) performance evaluation metric of interest (e.g. prediction error, cross entropy, calibration error, AUROC, BLEU score percentage, F1 score, reward, Elo rating, solve rate, or FID score) in zero-shot, prompted, or fine-tuned settings. The parameters $a, b, c_0, c_1 ... c_n, d_1 ... d_n, f_1 ... f_n$ are found by statistical fitting.

On a log–log plot, when $f_i$ is not too large and $a$ is subtracted out from the y-axis, this functional form looks like a series of linear segments connected by arcs; the $n$ transitions between the segments are called "breaks", hence the name ''broken neural scaling laws (BNSL)''.

The scenarios in which the scaling behaviors of artificial neural networks were found to follow this functional form include large-scale vision, language, audio, video, diffusion, generative modeling, multimodal learning, contrastive learning, AI alignment, AI capabilities, robotics, out-of-distribution (OOD) generalization, continual learning, transfer learning, uncertainty estimation / calibration, out-of-distribution detection, adversarial robustness, distillation, sparsity, retrieval, quantization, pruning, fairness, molecules, computer programming/coding, math word problems, arithmetic, emergent abilities, double descent, supervised learning, unsupervised/ self-supervised learning, and reinforcement learning (single agent and multi-agent).

The architectures for which the scaling behaviors of artificial neural networks were found to follow this functional form include residual neural networks, transformers, MLPs, MLP-mixers, recurrent neural networks, convolutional neural networks, graph neural networks, U-nets, encoder-decoder (and encoder-only) (and decoder-only) models, ensembles (and non-ensembles), MoE (mixture of experts) (and non-MoE) models, and sparse pruned (and non-sparse unpruned) models.

Inference scaling

Other than scaling up training compute, one can also scale up inference compute (or "test-time compute"). As an example, the Elo rating of AlphaGo improves steadily as it is allowed to spend more time on its Monte Carlo Tree Search per play. For AlphaGo Zero, increasing Elo by 120 requires either 2x model size and training, or 2x test-time search.

Lecture at Paul G. Allen School on Thursday, May 23, 2024, 3:30 pm Similarly, a language model for solving competition-level coding challenges, AlphaCode, consistently improved (log-linearly) in performance with more search time.

For Hex, 10x training-time compute trades for 15x test-time compute. For '' Libratus'' for heads up no-limit Texas hold 'em, and ''Cicero'' for ''Diplomacy'', and many other abstract games of partial information, inference-time searching improves performance at a similar tradeoff ratio, for up to 100,000x effective increase in training-time compute.

In 2024, the OpenAI o1 report documented that o1's performance consistently improved with both increased train-time compute and test-time compute, and gave numerous examples of test-time compute scaling in mathematics, scientific reasoning, and coding tasks.

One method for scaling up test-time compute is process-based supervision, where a model generates a step-by-step reasoning chain to answer a question, and another model (either human or AI) provides a reward score on some of the intermediate steps, not just the final answer. Process-based supervision can be scaled arbitrarily by using synthetic reward score without another model, for example, by running Monte Carlo rollouts and scoring each step in the reasoning according to how likely it leads to the right answer. Another method is by revision models, which are models trained to solve a problem multiple times, each time revising the previous attempt.

Other examples

Vision transformers

Vision transformers, similar to language transformers, exhibit scaling laws. A 2022 research trained vision transformers, with parameter counts N\in \times 10^6, 2\times 10^9/math>, on image sets of sizes D \in \times 10^, 3\times 10^/math>, for computing C\in .2, 10^4 (in units of TPUv3-core-days).

After training the model, it is finetuned on ImageNet training set. Let $L$ be the error probability of the finetuned model classifying ImageNet test set. They found $\min_ L = 0.09 + \frac$.

Neural machine translation

Ghorbani, Behrooz et al. studied scaling laws for neural machine translation (specifically, English as source, and German as target) in encoder-decoder Transformer models, trained until convergence on the same datasets (thus they did not fit scaling laws for computing cost $C$ or dataset size $D$). They varied N \in 0^8, 3.5 \times 10^9/math> They found three results:

* $L$ is a scaling law function of $N_E, N_D$, where $N_E, N_D$ are encoder and decoder parameter count. It is not simply a function of total parameter count $N = N_E + N_D$. The function has form $L\left(N_e, N_d\right)=\alpha\left(\frac\right)^\left(\frac\right)^+L_$, where $\alpha, p_e, p_d, L_, \bar N_e, \bar N_d$ are fitted parameters. They found that $N_d/N \approx 0.55$ minimizes loss if $N$ is held fixed.
* $L$ "saturates" (that is, it reaches $L_\infty$) for smaller models when the training and testing datasets are "source-natural" than "target-natural". A "source-natural" data point means a pair of English-German sentences, and the model is asked to translate the English sentence into German, and the English sentence is written by a natural English writer, while the German sentence is translated from the English sentence by a machine translator. To construct the two kinds of datasets, the authors collected natural English and German sentences online, then used machine translation to generate their translations.
* As models grow larger, models trained on source-original datasets can achieve low loss but bad BLEU score. In contrast, models trained on target-original datasets achieve low loss and good BLEU score in tandem (Figure 10, 11 ).

The authors hypothesize that source-natural datasets have uniform and dull target sentences, and so a model that is trained to predict the target sentences would quickly overfit.

trained Transformers for machine translations with sizes N \in \times 10^5 , 5.6 \times 10^7/math> on dataset sizes D \in \times 10^5, 6 \times 10^9/math>. They found the Kaplan et al. (2020) scaling law applied to machine translation: L(N, D)=\left left(\frac\right)^+\frac\right. They also found the BLEU score scaling as $BLEU \approx C e^$.

Transfer learning

Hernandez, Danny et al. studied scaling laws for transfer learning in language models. They trained a family of Transformers in three ways:

* pretraining on English, finetuning on Python
* pretraining on an equal mix of English and Python, finetuning on Python
* training on Python

The idea is that pretraining on English should help the model achieve low loss on a test set of Python text. Suppose the model has parameter count $N$, and after being finetuned on $D_F$ Python tokens, it achieves some loss $L$. We say that its "transferred token count" is $D_T$, if another model with the same $N$ achieves the same $L$ after training on $D_F + D_T$ Python tokens.

They found $D_T=1.9 e 4\left(D_F\right)^(N)^$ for pretraining on English text, and $D_T=2.1 e 5\left(D_F\right)^(N)^$ for pretraining on English and non-Python code.

Precision

Kumar et al. study scaling laws for numerical precision in the training of language models. They train a family of language models with weights, activations, and KV cache in varying numerical precision in both integer and floating-point type to measure the effects on loss as a function of precision. For training, their scaling law accounts for lower precision by wrapping the effects of precision into an overall "effective parameter count" that governs loss scaling, using the parameterization $N \mapsto N_\text(P) = N(1-e^)$. This illustrates how training in lower precision degrades performance by reducing the true capacity of the model in a manner that varies exponentially with bits.

For inference, they find that extreme overtraining of language models past Chinchilla-optimality can lead to models being more sensitive to quantization, a standard technique for efficient deep learning. This is demonstrated by observing that the degradation in loss due to weight quantization increases as an approximate power law in the token/parameter ratio $D/N$ seen during pretraining, so that models pretrained on extreme token budgets can perform worse in terms of validation loss than those trained on more modest token budgets if post-training quantization is applied. Other work examining the effects of overtraining include Sardana et al. and Gadre et al.

Densing laws

Xiao et al. considered the parameter efficiency ("density") of models over time. The idea is that over time, researchers would discover models that use their parameters more efficiently, in that models with the same performance can have fewer parameters.

A model can have an actual parameter count $N$, defined as the actual number of parameters in the model, and an "effective" parameter count $\hat N$, defined as how many parameters it would have taken a previous well-known model to reach he same performance on some benchmarks, such as MMLU. $\hat N$ is not measured directly, but rather by measuring the actual model performance $S$, then plugging it back to a previously fitted scaling law, such as the Chinchilla scaling law, to obtain what $\hat N$ would be required to reach that performance $S$, according to that previously fitted scaling laws.

A densing law states that $\ln \left(\frac\right)_ = At + B$, where $t$ is real-world time, measured in days.

See also

* Large language model
* Foundation model
* Artificial general intelligence
{{div col end

References

Artificial neural networks
Artificial intelligence
Deep learning
Power laws
Statistical laws