language models

A language model is a probability distribution over sequences of words. Given any sequence of words of length , a language model assigns a probability $P(w_1,\ldots,w_m)$ to the whole sequence. Language models generate probabilities by training on text corpora in one or many languages. Given that languages can be used to express an infinite variety of valid sentences (the property of digital infinity), language modeling faces the problem of assigning non-zero probabilities to linguistically valid sequences that may never be encountered in the training data. Several modelling approaches have been designed to surmount this problem, such as applying the Markov assumption or using neural architectures such as recurrent neural networks or transformers.

Language models are useful for a variety of problems in computational linguistics; from initial applications in speech recognition to ensure nonsensical (i.e. low-probability) word sequences are not predicted, to wider use in machine translation (e.g. scoring candidate translations), natural language generation (generating more human-like text), part-of-speech tagging, parsing,Andreas, Jacob, Andreas Vlachos, and Stephen Clark.
Semantic parsing as machine translation
" Proceedings of the 51st Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers). 2013. Optical Character Recognition, handwriting recognition, grammar induction, information retrieval, and other applications.

Language models are used in information retrieval in the query likelihood model. There, a separate language model is associated with each document in a collection. Documents are ranked based on the probability of the query ''Q'' in the document's language model $M_d$: $P(Q\mid M_d)$. Commonly, the unigram language model is used for this purpose.

Model types

Unigram

A unigram model can be treated as the combination of several one-state finite automata. It assumes that the probabilities of tokens in a sequence are independent, e.g.:

: $P_\text(t_1t_2t_3)=P(t_1)P(t_2)P(t_3).$

In this model, the probability of each word only depends on that word's own probability in the document, so we only have one-state finite automata as units. The automaton itself has a probability distribution over the entire vocabulary of the model, summing to 1. The following is an illustration of a unigram model of a document.

: $\sum_ P(\text) = 1$

The probability generated for a specific query is calculated as

: $P(\text) = \prod_ P(\text)$

Different documents have unigram models, with different hit probabilities of words in it. The probability distributions from different documents are used to generate hit probabilities for each query. Documents can be ranked for a query according to the probabilities. Example of unigram models of two documents:

In information retrieval contexts, unigram language models are often smoothed to avoid instances where ''P''(term) = 0. A common approach is to generate a maximum-likelihood model for the entire collection and linearly interpolate the collection model with a maximum-likelihood model for each document to smooth the model.

n-gram

In an ''n''-gram model, the probability $P(w_1,\ldots,w_m)$ of observing the sentence $w_1,\ldots,w_m$ is approximated as

: $P(w_1,\ldots,w_m) = \prod^m_ P(w_i\mid w_1,\ldots,w_)\approx \prod^m_ P(w_i\mid w_,\ldots,w_)$

It is assumed that the probability of observing the ''i^th'' word ''w_i'' in the context history of the preceding ''i'' − 1 words can be approximated by the probability of observing it in the shortened context history of the preceding ''n'' − 1 words (''n''^th order Markov property). To clarify, for ''n=3'' and ''i=2'' we have $P(w_i\mid w_,\ldots,w_)=P(w_2\mid w_1)$.

The conditional probability can be calculated from ''n''-gram model frequency counts:

: $P(w_i\mid w_,\ldots,w_) = \frac$

The terms bigram and trigram language models denote ''n''-gram models with ''n'' = 2 and ''n'' = 3, respectively.

Typically, the ''n''-gram model probabilities are not derived directly from frequency counts, because models derived this way have severe problems when confronted with any ''n''-grams that have not been explicitly seen before. Instead, some form of smoothing is necessary, assigning some of the total probability mass to unseen words or ''n''-grams. Various methods are used, from simple "add-one" smoothing (assign a count of 1 to unseen ''n''-grams, as an uninformative prior) to more sophisticated models, such as Good-Turing discounting or back-off models.

Bidirectional

Bidirectional representations condition on both pre- and post- context (e.g., words) in all layers.

Example

In a bigram (''n'' = 2) language model, the probability of the sentence ''I saw the red house'' is approximated as

: $P(\text) \approx P(\text\mid\langle s\rangle) P(\text\mid \text) P(\text\mid\text) P(\text\mid\text) P(\text\mid\text) P(\langle /s\rangle\mid \text)$

whereas in a trigram (''n'' = 3) language model, the approximation is

: $P(\text) \approx P(\text\mid \langle s\rangle,\langle s\rangle) P(\text\mid\langle s\rangle,I) P(\text\mid\text) P(\text\mid\text) P(\text\mid\text) P(\langle /s\rangle\mid\text)$

Note that the context of the first ''n'' – 1 ''n''-grams is filled with start-of-sentence markers, typically denoted .

Additionally, without an end-of-sentence marker, the probability of an ungrammatical sequence ''*I saw the'' would always be higher than that of the longer sentence ''I saw the red house.''

Exponential

Maximum entropy language models encode the relationship between a word and the n-gram history using feature functions. The equation is

: $P(w_m \mid w_1,\ldots,w_) = \frac \exp (a^T f(w_1,\ldots,w_m))$

where $Z(w_1,\ldots,w_)$ is the partition function, $a$ is the parameter vector, and $f(w_1,\ldots,w_m)$ is the feature function. In the simplest case, the feature function is just an indicator of the presence of a certain n-gram. It is helpful to use a prior on $a$ or some form of regularization.

The log-bilinear model is another example of an exponential language model.

Neural network

Neural language models (or ''continuous space language models'') use continuous representations or embeddings of words to make their predictions. These models make use of Neural networks.

Continuous space embeddings help to alleviate the curse of dimensionality in language modeling: as language models are trained on larger and larger texts, the number of unique words (the vocabulary) increases. The number of possible sequences of words increases exponentially with the size of the vocabulary, causing a data sparsity problem because of the exponentially many sequences. Thus, statistics are needed to properly estimate probabilities. Neural networks avoid this problem by representing words in a distributed way, as non-linear combinations of weights in a neural net. An alternate description is that a neural net approximates the language function. The neural net architecture might be feed-forward or recurrent, and while the former is simpler the latter is more common.

Typically, neural net language models are constructed and trained as probabilistic classifiers that learn to predict a probability distribution

: $P(w_t \mid \mathrm) \, \forall t \in V$.

I.e., the network is trained to predict a probability distribution over the vocabulary, given some linguistic context. This is done using standard neural net training algorithms such as stochastic gradient descent with backpropagation. The context might be a fixed-size window of previous words, so that the network predicts

: $P(w_t \mid w_, \dots, w_)$

from a feature vector representing the previous words. Another option is to use "future" words as well as "past" words as features, so that the estimated probability is

: $P(w_t \mid w_, \dots, w_, w_, \dots, w_)$.

This is called a bag-of-words model. When the feature vectors for the words in the context are combined by a continuous operation, this model is referred to as the continuous bag-of-words architecture (CBOW).

A third option that trains slower than the CBOW but performs slightly better is to invert the previous problem and make a neural network learn the context, given a word. More formally, given a sequence of training words $w_1, w_2, w_3, \dots, w_T$, one maximizes the average log-probability

: $\frac\sum_^T \sum_ \log P(w_ \mid w_t)$

where , the size of the training context, can be a function of the center word $w_t$. This is called a skip-gram language model. Bag-of-words and skip-gram models are the basis of the word2vec program.

Instead of using neural net language models to produce actual probabilities, it is common to instead use the distributed representation encoded in the networks' "hidden" layers as representations of words; each word is then mapped onto an -dimensional real vector called the word embedding, where is the size of the layer just before the output layer. The representations in skip-gram models have the distinct characteristic that they model semantic relations between words as linear combinations, capturing a form of compositionality. For example, in some such models, if is the function that maps a word to its -d vector representation, then

: $v(\mathrm) - v(\mathrm) + v(\mathrm) \approx v(\mathrm)$

where ≈ is made precise by stipulating that its right-hand side must be the nearest neighbor of the value of the left-hand side.

Other

A positional language model assesses the probability of given words occurring close to one another in a text, not necessarily immediately adjacent. Similarly, bag-of-concepts models leverage the semantics associated with multi-word expressions such as ''buy_christmas_present'', even when they are used in information-rich sentences like "today I bought a lot of very nice Christmas presents".

Despite the limited successes in using neural networks, authors acknowledge the need for other techniques when modelling sign languages.

Notable language models

Notable language models, include:
* Pathways Language Model (PaLM) 540 billion parameter model, from Google Research.
* Generalist Language Model (GLaM) 1 trillion parameter model, from Google Research
* Language Models for Dialog Applications (LaMDA) 137 billion parameter model from Google Research
* Megatron-Turing NLG 530 billion parameter model, from Microsoft/Nvidia
* DreamFusion/Imagen 3D image generation from Google Research
* Get3D from Nvidia
* MineClip from Nvidia
* BLOOM: BigScience Large Open-science Open-access Multilingual Language Model with 176 billion parameters.
* GPT-2: Generative Pre-trained Transformer 2 with 1.5 billion parameters.
* GPT-3: Generative Pre-trained Transformer 3, with the unprecedented size of 2048-token-long context and 175 billion parameters (requiring 800 GB of storage).
* GPT-3.5/ ChatGPT/InstructGPT from OpenAI
* BERT: Bidirectional Encoder Representations from Transformers (BERT)
* GPT-NeoX-20B: An Open-Source Autoregressive Language Model with 20 billion parameters.
* OPT-175B by Meta AI: another 175-billion-parameter language model. It is available to the broader AI research community.
* Point-E by OpenAI: a 3D model generator.
Hugging Face hosts a set of publicly available language models for developers to build applications using machine learning.

Evaluation and benchmarks

Evaluation of the quality of language models is mostly done by comparison to human created sample benchmarks created from typical language-oriented tasks. Other, less established, quality tests examine the intrinsic character of a language model or compare two such models. Since language models are typically intended to be dynamic and to learn from data it sees, some proposed models investigate the rate of learning, e.g. through inspection of learning curves.

Various data sets have been developed to use to evaluate language processing systems. These include:

* Corpus of Linguistic Acceptability
* GLUE benchmark
* Microsoft Research Paraphrase Corpus
* Multi-Genre Natural Language Inference
* Question Natural Language Inference
* Quora Question Pairs
* Recognizing Textual Entailment
* Semantic Textual Similarity Benchmark
* SQuAD question answering Test
* Stanford Sentiment Treebank
* Winograd NLI

Criticism

Although contemporary language models, such as GPT-2, can be shown to match human performance on some tasks, it is not clear they are plausible cognitive models. For instance, recurrent neural networks have been shown to learn patterns humans do not learn and fail to learn patterns that humans do learn.

See also

* Statistical model
* Factored language model
* Cache language model
* Katz's back-off model
* Transformer
* BERT

Notes

References

Citations

Sources

*
*
*

{{Natural language processing

*
Statistical natural language processing
Markov models