Recurrent Neural Networks cheatsheet

By Afshine Amidi and Shervine Amidi

Overview

Architecture of a traditional RNN ― Recurrent neural networks, also known as RNNs, are a class of neural networks that allow previous outputs to be used as inputs while having hidden states. They are typically as follows:

For each timestep t, the activation a<t> and the output y<t> are expressed as follows:

a<t>=g1(Waaa<t−1>+Waxx<t>+ba)andy<t>=g2(Wyaa<t>+by)

where Wax,Waa,Wya,ba,by are coefficients that are shared temporally and g1,g2 activation functions.

The pros and cons of a typical RNN architecture are summed up in the table below:

Advantages Drawbacks
• Possibility of processing input of any length
• Model size not increasing with size of input
• Computation takes into account historical information
• Weights are shared across time
• Computation being slow
• Difficulty of accessing information from a long time ago
• Cannot consider any future input for the current state

Applications of RNNs ― RNN models are mostly used in the fields of natural language processing and speech recognition. The different applications are summed up in the table below:

Type of RNN Illustration Example
One-to-one
Tx=Ty=1
Traditional neural network
One-to-many
Tx=1,Ty>1
Music generation
Many-to-one
Tx>1,Ty=1
Sentiment classification
Many-to-many
Tx=Ty
Name entity recognition
Many-to-many
Tx≠Ty
Machine translation

Loss function ― In the case of a recurrent neural network, the loss function L of all time steps is defined based on the loss at every time step as follows:

L(y^,y)=∑t=1TyL(y^<t>,y<t>)

Backpropagation through time ― Backpropagation is done at each point in time. At timestep T, the derivative of the loss Lwith respect to weight matrix W is expressed as follows:

∂L(T)∂W=∑t=1T∂L(T)∂W|(t)

Handling long term dependencies

Commonly used activation functions ― The most common activation functions used in RNN modules are described below:

Sigmoid Tanh RELU
g(z)=11+e−z g(z)=ez−e−zez+e−z g(z)=max(0,z)
Sigmoid Tanh RELU

Vanishing/exploding gradient ― The vanishing and exploding gradient phenomena are often encountered in the context of RNNs. The reason why they happen is that it is difficult to capture long term dependencies because of multiplicative gradient that can be exponentially decreasing/increasing with respect to the number of layers.

Gradient clipping ― It is a technique used to cope with the exploding gradient problem sometimes encountered when performing backpropagation. By capping the maximum value for the gradient, this phenomenon is controlled in practice.

Types of gates ― In order to remedy the vanishing gradient problem, specific gates are used in some types of RNNs and usually have a well-defined purpose. They are usually noted Γ and are equal to:

Γ=σ(Wx<t>+Ua<t−1>+b)

where W,U,b are coefficients specific to the gate and σ is the sigmoid function. The main ones are summed up in the table below:

Type of gate Role Used in
Update gate Γu How much past should matter now? GRU, LSTM
Relevance gate Γr Drop previous information? GRU, LSTM
Forget gate Γf Erase a cell or not? LSTM
Output gate Γo How much to reveal of a cell? LSTM

GRU/LSTM ― Gated Recurrent Unit (GRU) and Long Short-Term Memory units (LSTM) deal with the vanishing gradient problem encountered by traditional RNNs, with LSTM being a generalization of GRU. Below is a table summing up the characterizing equations of each architecture:

Characterization Gated Recurrent Unit (GRU) Long Short-Term Memory (LSTM)
c~<t> tanh(Wc[Γr⋆a<t−1>,x<t>]+bc) tanh(Wc[Γr⋆a<t−1>,x<t>]+bc)
c<t> Γu⋆c~<t>+(1−Γu)⋆c<t−1> Γu⋆c~<t>+Γf⋆c<t−1>
a<t> c<t> Γo⋆c<t>
Dependencies

Remark: the sign  denotes the element-wise multiplication between two vectors.

Variants of RNNs ― The table below sums up the other commonly used RNN architectures:

Bidirectional (BRNN) Deep (DRNN)

Learning word representation

In this section, we note V the vocabulary and |V| its size.

Motivation and notations

Representation techniques ― The two main ways of representing words are summed up in the table below:

1-hot representation Word embedding
• Noted ow
• Naive approach, no similarity information
• Noted ew
• Takes into account words similarity

Embedding matrix ― For a given word w, the embedding matrix E is a matrix that maps its 1-hot representation ow to its embedding ew as follows:

ew=Eow

Remark: learning the embedding matrix can be done using target/context likelihood models.

Word embeddings

Word2vec ― Word2vec is a framework aimed at learning word embeddings by estimating the likelihood that a given word is surrounded by other words. Popular models include skip-gram, negative sampling and CBOW.

Skip-gram ― The skip-gram word2vec model is a supervised learning task that learns word embeddings by assessing the likelihood of any given target word t happening with a context word c. By noting θt a parameter associated with t, the probability P(t|c) is given by:

P(t|c)=exp⁡(θtTec)∑j=1|V|exp⁡(θjTec)

Remark: summing over the whole vocabulary in the denominator of the softmax part makes this model computationally expensive. CBOW is another word2vec model using the surrounding words to predict a given word.

Negative sampling ― It is a set of binary classifiers using logistic regressions that aim at assessing how a given context and a given target words are likely to appear simultaneously, with the models being trained on sets of k negative examples and 1 positive example. Given a context word c and a target word t, the prediction is expressed by:

P(y=1|c,t)=σ(θtTec)

Remark: this method is less computationally expensive than the skip-gram model.

GloVe ― The GloVe model, short for global vectors for word representation, is a word embedding technique that uses a co-occurence matrix X where each Xi,j denotes the number of times that a target i occurred with a context j. Its cost function Jis as follows:

J(θ)=12∑i,j=1|V|f(Xij)(θiTej+bi+bj′−log⁡(Xij))2

where f is a weighting function such that Xi,j=0⟹f(Xi,j)=0.
Given the symmetry that e and θ play in this model, the final word embedding ew(final) is given by:

ew(final)=ew+θw2

Remark: the individual components of the learned word embeddings are not necessarily interpretable.

Comparing words

Cosine similarity ― The cosine similarity between words w1 and w2 is expressed as follows:

similarity=w1⋅w2||w1|| ||w2||=cos⁡(θ)

Remark: θ is the angle between words w1 and w2.

t-SNE ― t-SNE (t-distributed Stochastic Neighbor Embedding) is a technique aimed at reducing high-dimensional embeddings into a lower dimensional space. In practice, it is commonly used to visualize word vectors in the 2D space.

Language model

Overview ― A language model aims at estimating the probability of a sentence P(y).

n-gram model ― This model is a naive approach aiming at quantifying the probability that an expression appears in a corpus by counting its number of appearance in the training data.

Perplexity ― Language models are commonly assessed using the perplexity metric, also known as PP, which can be interpreted as the inverse probability of the dataset normalized by the number of words T. The perplexity is such that the lower, the better and is defined as follows:

PP=∏t=1T(1∑j=1|V|yj(t)⋅y^j(t))1T

Remark: PP is commonly used in t-SNE.

Machine translation

Overview ― A machine translation model is similar to a language model except it has an encoder network placed before. For this reason, it is sometimes referred as a conditional language model.

The goal is to find a sentence y such that:

y=arg maxy<1>,…,y<Ty>P(y<1>,…,y<Ty>|x)

Beam search ― It is a heuristic search algorithm used in machine translation and speech recognition to find the likeliest sentence y given an input x.

• Step 1: Find top B likely words y<1>
• Step 2: Compute conditional probabilities y<k>|x,y<1>,…,y<k−1>
• Step 3: Keep top B combinations x,y<1>,…,y<k>

Remark: if the beam width is set to 1, then this is equivalent to a naive greedy search.

Beam width ― The beam width B is a parameter for beam search. Large values of B yield to better result but with slower performance and increased memory. Small values of B lead to worse results but is less computationally intensive. A standard value for B is around 10.

Length normalization ― In order to improve numerical stability, beam search is usually applied on the following normalized objective, often called the normalized log-likelihood objective, defined as:

Objective =1Tyα∑t=1Tylog⁡[p(y<t>|x,y<1>,…,y<t−1>)]

Remark: the parameter α can be seen as a softener, and its value is usually between 0.5 and 1.

Error analysis ― When obtaining a predicted translation y^ that is bad, one can wonder why we did not get a good translation y∗ by performing the following error analysis:

Case P(y∗|x)>P(y^|x) P(y∗|x)⩽P(y^|x)
Root cause Beam search faulty RNN faulty
Remedies Increase beam width • Try different architecture
• Regularize
• Get more data

Bleu score ― The bilingual evaluation understudy (bleu) score quantifies how good a machine translation is by computing a similarity score based on n-gram precision. It is defined as follows:

bleu score=exp⁡(1n∑k=1npk)

where pn is the bleu score on n-gram only defined as follows:

pn=∑n-gram∈y^countclip(n-gram)∑n-gram∈y^count(n-gram)

Remark: a brevity penalty may be applied to short predicted translations to prevent an artificially inflated bleu score.

Attention

Attention model ― This model allows an RNN to pay attention to specific parts of the input that is considered as being important, which improves the performance of the resulting model in practice. By noting α<t,t′> the amount of attention that the output y<t> should pay to the activation a<t′> and c<t> the context at time t, we have:

c<t>=∑t′α<t,t′>a<t′>with∑t′α<t,t′>=1

Remark: the attention scores are commonly used in image captioning and machine translation.

Attention weight ― The amount of attention that the output y<t> should pay to the activation a<t′> is given by α<t,t′>computed as follows:

α<t,t′>=exp⁡(e<t,t′>)∑t″=1Txexp⁡(e<t,t″>)

Remark: computation complexity is quadratic with respect to Tx.

Source: Recurrent Neural Networks cheatsheet

ThirdEye Data

Transforming Enterprises with
Data & AI Services & Solutions.

ThirdEye delivers Data and AI services & solutions for enterprises worldwide by
leveraging state-of-the-art Data & AI technologies.

Talk to ThirdEye