Title: DEPENDENT BIDIRECTIONAL RNN WITH EXTENDED-LONG SHORT-TERM MEMORY

Abstract: In this work, we first conduct mathematical analysis on the memory, which is defined as a function that maps an element in a sequence to the current output, of three RNN cells; namely, the simple recurrent neural network (SRN), the long short-term memory (LSTM) and the gated recurrent unit (GRU). Based on the analysis, we propose a new design, called the extended-long short-term memory (ELSTM), to extend the memory length of a cell. Next, we present a multi-task RNN model that is robust to previous erroneous predictions, called the dependent bidirectional recurrent neural network (DBRNN), for the sequence-in-sequenceout (SISO) problem. Finally, the performance of the DBRNN model with the ELSTM cell is demonstrated by experimental results.

1. INTRODUCTION:

The recurrent neural network (RNN) has proved to be an effective solution for natural language processing (NLP) through the advancement in the last three decades (Elman, 1990; Jordan, 1997; Bayer et al., 2009; Barret & V. Le, 2016) . At the cell level of a RNN, the long short-term memory (LSTM) (Hochreiter & Schmidhuber, 1997) and the gated recurrent unit (GRU) (Cho et al., 2014) are often adopted by a RNN as its low-level building cell. Being built upon these cells, various RNN models have been proposed to solve the sequence-in-sequence-out (SISO) problem. To name a few, there are the bidirectional RNN (BRNN) (Schuster & Paliwal, 1997) , the encoder-decoder model (Cho et al., 2014; Sutskever et al., 2014; Vinyals et al., 2015; Bahdanau et al., 2015) and the deep RNN (Pascanu et al., 2014) . Although the LSTM and the GRU were designed to enhance the memory length of RNNs and avoid the gradient vanishing/exploding issue (Hochreiter & Schmidhuber, 1997; Razvan et al., 2013; Bengio et al., 1994) , a good understanding of their memory length is still lacking. Here, we define the memory of a RNN model as a function that maps an element in a sequence to current output. The first objective of this research is to analyze the memory length of three RNN cells -the simple RNN (SRN) (Elman, 1990; Jordan, 1997) , the long short-term memory (LSTM) and the gated recurrent unit (GRU). This will be conducted in Sec. 2. Such analysis is different to the investigation of gradient vanishing/exploding problem in a sense that gradient vanishing/exploding problem happens during the training process, the memory analysis is, however, done on a trained RNN model. Based on the understanding from the memory analysis, we propose a new design, called the extended-long short-term memory (ELSTM), to extend the memory length of a cell in Sec.3.

As to the macro RNN model, one popular choice is the BRNN. Since the elements in BRNN output sequences should be independent of each other (Schuster & Paliwal, 1997) , the BRNN cannot be used to solve dependent output sequence problem alone. Nevertheless, most language tasks do involve dependent output sequences. The second choice is the encoder-decoder system, where the attention mechanism has been introduced (Vinyals et al., 2015; Bahdanau et al., 2015) to improve its performance furthermore. As shown later in this work, the encoder-decoder system is not an efficient learner. Here, to take advantages of both the encoder-decoder and the BRNN and overcome their drawbacks, we propose a new multitask model called the dependent bidirectional recurrent neural network (DBRNN), which will be elaborated in Sec. 4. Furthermore, we conduct a series of experiments on the part of speech (POS) tagging and the dependency parsing (DP) problems in Sec. 5 to demonstrate the performance of the DBRNN model with the ELSTM cell. Finally, concluding remarks are given and future research direction is pointed out in Sec. 6.

2. MEMORY ANALYSIS OF SRN, LSTM AND GRU:

For a large number of NLP tasks, we are concerned with finding semantic patterns from the input sequence. It was shown by Elman (1990) that the RNN builds an internal representation of semantic patterns. The memory of a cell characterizes its ability to map an input sequence of certain length into such a representation. More rigidly, we define the memory as a function that maps an element in a sequence to the current output. So the memory capability of a RNN is not only about whether an element can be mapped into current output, but also how this mapping takes place.

It was reported by Gers et al. (2000) that a SRN only memorized sequences of length between 3-5 units while a LSTM could memorize sequences of length longer than 1000 units. In this section, we study the memory of the SRN, LSTM and GRU.

2.1. MEMORY OF SRN:

Here, for the ease of analysis, we use Elman's SRN model (Elman, 1990) with linear hidden state activation function and non-linear output activation function since such cell model is mathematically tractable and performance-wise equivalent to Jordan (1997) and Tensorflow's variations.

The SRN is described by the following two equations:

EQUATION

EQUATION

where subscript t is the index of the time unit, W c ∈ R N ×N is the weight matrix for hidden state

vector c t-1 ∈ R N , W in ∈ R N ×M is the weight matrix of input vector X t ∈ R M , h t ∈ R N and f (•)

is an element-wise non-linear function. Usually, f (•) is a hyperbolic-tangent or a sigmoid function.

Throughout this paper, we omit the bias terms by putting them inside the corresponding weight matrices.

By induction, c t can be rewritten as

EQUATION

where c 0 is the initial internal state of the SRN. Typically, we set c 0 = 0. Then, Eq. (3) becomes

EQUATION

)

Let λ max be the largest singular value of W c . Then, we have

EQUATION

Here, we are only interested in the case of memory decay when λ max < 1. Hence, the contribution of X k , k < t, to h t decays at least in form of λ |t-k| max . We conclude that SRN's memory decays at least exponentially with its memory length |t -k|. Mathematically, the LSTM cell can be written as

EQUATION

EQUATION

where c t ∈ R N , column vector I t ∈ R (M +N ) is a concatenation of the current input, X t ∈ R M , and the previous output, h t-1 ∈ R N (i.e., I T t = [X T t , h T t-1 ]). Furthermore, W f , W i , W o and W in are weight matrices for the forget gate, the input gate, the output gate and the input, respectively.

Under the assumption c 0 = 0, the hidden state vector of the LSTM can be derived by induction as

EQUATION

By setting f (•) in Eq. ( 2) to a hyperbolic-tangent function, we can compare outputs of the SRN and the LSTM below: SRN:

EQUATION

LSTM:

EQUATION

)

We see from the above that W t-k c and t j=k+1 σ(W f I j ) play the same memory role for the SRN and the LSTM, respectively.

EQUATION

As given in Eqs. ( 5) and ( 11), the impact of input I k on output h t in the LSTM lasts longer than that of input X k in the SRN. This is the case if an appropriate weight matrix, W f , of the forget gate is selected.

2.3. MEMORY OF GRU:

The GRU was originally proposed for neural machine translation (Cho et al., 2014) . It provides an effective alternative for the LSTM. Its operations can be expressed by the following four equations:

EQUATION

EQUATION

where X t , h t , z t and r t denote the input vector, the hidden state vector, the update gate vector and the reset gate vector, respectively, and W z , W r , W , are trainable weight matrices. Its hidden state is also its output, which is given in Eq. ( 15). If we simplify the GRU by setting U z , U r and U to zero matrices, then we can obtain the following simplified GRU system:

EQUATION

EQUATION

EQUATION

)

For the simplified GRU with the initial rest condition, we can derive the following by induction:

EQUATION

By comparing Eqs. ( 8) and ( 19), we see that the update gate of the simplified GRU and the forget gate of the LSTM play the same role. One can control the memory decay behavior of the GRU by choosing the weight matrix, W z , of the update gate carefully.

3. EXTENDED-LONG SHORT-TERM MEMORY (ELSTM):

As discussed above, the LSTM and the GRU have longer memory by introducing the forget and the update gates, respectively. However, from Eq. 10 and Eq. 11, it can be seen that the impact of proceeding element to the current output at time step t still fades quickly due to the presence of forget gate and update gate. And as we will show in the ELSTM design, this does not have to be the case.

In this section, we attempt to design extended-long short-term memory (ELSTM) cells and propose two new cell models:

• ELSTM-I: the extended-long short-term memory (ELSTM) with trainable input weight vector

s i ∈ R N , i = 1, • • • , t -1,

where weights s i and s j (with i = j) are independent.

• ELSTM-II: the ELSTM-I with no forget gate.

These two cells are depicted in Figs. 2 (a) and (b), respectively. The ELSTM-I cell can be described by

EQUATION

EQUATION

)

where b ∈ R N is a trainable bias vector. The ELSTM-II cell can be written as

EQUATION

EQUATION

As shown above, we introduce scaling factor, s i , i = 1, • • • , t -1, to the ELSTM-I and the ELSTM-II to increase or decrease the impact of input I i in the sequence.

To prove that the proposed ELSTM-I has longer memory than LSTM, we first derive the closed form expression of h t , which is:

EQUATION

)

We then pick s k such that:

EQUATION

Compare Eq. 25 with Eq. 11, we conclude that ELSTM-I has longer memory than LSTM. As a matter of fact, s k plays a similarly role as the attention score in various attention models such as Vinyals et al. (2015) . The impact of proceeding elements to the current output can be adjusted (either increase or decrease) by s k . The memory capability of ELSTM-II can be proven in a similarly fashion, so even ELSTM-II does not have forget gate, it is capable in attending to or forgetting a particular position of a sequence as ELSTM-I through the scaling factor.

The major difference between the ELSTM-I and the ELSTM-II is that fewer parameters are used in the ELSTM-II than those in the ELSTM-I. The numbers of parameters used by different RNN cells are compared in Table 1 , where

X t ∈ R M , h t ∈ R N and t = 1, • • • , T .

Table 1 : Comparison of Parameter Numbers.

Cell Number of Parameters:

LSTM 4N (M + N + 1) GRU 3N (M + N + 1) ELSTM-I 4N (M + N + 1) + N (T + 1) ELSTM-II 3N (M + N + 1) + N (T + 1)

Although the number of parameters of ELSTM depends on the maximum length of a sequence in practice, the memory overhead required is limited. ELSTM-II requires less number of parameters than LSTM for typical lengthed sequence. From Table . 1, to double the number of parameters as compare to an ordinary LSTM, the length of a sentence needs to be 4 times the size of the word embedding size and number of cells put together. That is, in the case of Sutskever et al. (2014) with 1000 word embedding and 1000 cells, the sentence length needs to be 4 × (1000 + 1000) = 8000! In practice, most NLP problems whose input involves sentences, the length will be typically less than 100. In our experiment, sequence to sequence with attention (Vinyals et al., 2015) for maximum sentence length 100 (other model settings please refer to Table 2 ), ELSTM-I parameters uses 75M of memory, ELSTM-II uses 69.1M, LSTM uses 71.5M, and GRU uses 65.9M. Through GPU parallelization, the computational time for all four cells are almost identical with 0.4 seconds per step time on a GeForce GTX TITAN X GPU.

4. PROPOSED DEPENDENT BRNN (DBRNN) MODEL:

We investigate the macro RNN model and propose a multitask model called dependent BRNN (DBRNN) in this section. The model is tasked to predict a output sequence

{Y t } T t=1 (Y i ∈ R N ) based on the input sequence {X t } T t=1 (X i ∈ R M )

, where T and T are the length of the input and output sequence respectively. Our proposal is inspired by the pros and cons of two RNN modelsthe bidirectional RNN (BRNN) model (Schuster & Paliwal, 1997) and the encoder-decoder model (Cho et al., 2014) . In the following, we will first examine the BRNN and the encoder-decoder in Sec. 4.1 and, then, propose the DBRNN in Sec. 4.2.

4.1. BRNN AND ENCODER-DECODER:

BRNN is modeling the conditional probability density function:

P (Y t |{X i } T i=1

). This output is a combination of the output of a forward and a backward RNN. Due to this bidirectional design, the BRNN can fully utilize the information of the entire input sequence to predict each individual output element. On the other hand, the BRNN does not utilize the predicted output in predicting Y t . This makes elements in the predicted sequence Ŷt = argmax Yt P (Y t |{X i } T t=1 ) independent of each other. This problem can be handled using the encoder-decoder model in form of Ŷt = argmax Yt P (Y t |{ Ŷi } t-1 i=1 , {X i } T i=1 ). However, the encoder-decoder model is vulnerable to previous erroneous predictions in the forward path. Recently, the BRNN has been introduced in the encoder by Bahdanau et al. (2015) , yet this design still does not address the erroneous prediction problem.

4.2. DBRNN MODEL AND TRAINING:

Being motivated by observations in Sec. 4.1, we propose a multitask RNN model called DBRNN to fulfill the following objectives:

EQUATION

)

EQUATION

EQUATION

where W f and W b are trainable weights.

p t = P (Y t |{X i } T i=1 ), p f t = P (Y t |{X i } T i=1 , { Ŷ f i } t i=1 ) and p b t = P (Y t |{X i } T i=1 , { Ŷ b i } T i=t ).

The DBRNN has three learning objectives: the target sequence for the forward RNN prediction, the reversed target sequence for the backward RNN prediction, and, finally, the target sequence for the bidirectional prediction.

The DBRNN model is shown in Fig. 3 . It consists of a lower and an upper BRNN branches. At each time step, the input to the forward and the backward parts of the upper BRNN is the concatenated forward and backward outputs from the lower BRNN branch. The final bidirectional prediction is the pooling of both the forward and backward predictions. We will show later that this design will make DBRNN robust to previous erroneous predictions. 

EQUATION

)

where c denotes the cell hidden state and l denotes the lower BRNN. The final output, h t , of the lower BRNN is the concatenation of the output, h f t , of the forward RNN and the output, h b t , of the backward RNN. Similarly, the upper BRNN generates the final output p t as

EQUATION

where u denotes the upper BRNN. To generate forward prediction Ŷ f t and backward prediction Ŷ b t , the forward and backward paths of the upper BRNN branches are trained separately with the target sequence and the reversed target sequence, respectively. The results of the upper forward and backward RNN are then combined to generate the final result.

There are three errors: prediction error of Ŷ f t denoted by e f , prediction error of Ŷ b t denoted by e b and prediction error of Ŷt denoted by e. To train this network, e f is back propagated through time to the upper forward RNN and the lower BRNN, e b is back propagated through time to the upper backward RNN and the lower BRNN, and e is back propagated through time to the entire model.

To show that DBRNN is more robust to previous erroneous predictions than one-directional models, we compare the cross entropy of them as follows:

EQUATION

)

where K is the total number of classes (e.g. the size of vocabulary for language tasks). p t is the ground truth distribution which is an one-hot vector such that:

p tk = I(p tk = k ), ∀k ∈ 1, ..., K,

where I is the indicator function, k is the ground truth label of the tth output. pt is the predicted distribution.

From Eq. 26, l can be further expressed as: It is worthwhile to compare the DBRNN and the solution in Cheng et al. (2016) . Both of them have a bidirectional design for the output. However, there exist three main differences. First, the DBRNN is a general design for the sequence-in-sequence-out (SISO) problem without being restricted to dependency parsing. The target sequences in training Ŷ f t , Ŷ b t and Ŷt are the same for the DBRNN. In contrast, the solution in Cheng et al. (2016) has different target sequences. Second, the attention mechanism is used by Cheng et al. (2016) but not in the DBRNN. Third, The encoder-decoder design is adopted by in Cheng et al. (2016) but not in the DBRNN.

EQUATION

EQUATION

5. EXPERIMENTS:



5.1. EXPERIMENTAL SETUP:

We conduct experiments on two problems: part of speech (POS) tagging and dependency parsing (DP). The POS tagging task is an easy one which requires shorter memory while the DP task needs much longer memory and has more complex relations between the input and the output.

In the experiments, we compare the performance of five RNN models under two scenarios: 1) I t = X t , and 2)

I T t = [X T t , h T t-1 ].

The five RNN models are the basic one-directional RNN (basic RNN), the BRNN, the sequence-to-sequence (a variation of encoder-decoder) RNN, sequence-to-sequence with attention and the DBRNN with four cell designs (LSTM, GRU, ELSTM-I and ELSTM-II). When I t = X t , we do not include the GRU cell since it inherently demands

I T t = [X T t , h T t-1 ].

For the DBRNN, we show the results for Y t (denoted by "DBRNN combined") and Y f t (denoted by "DBRNN forward"), which is the prediction from the forward path of the upper BRNN branch. We do not include the result for Y b t , which is the prediction from the backward path of the upper BRNN branch since the performance of the backward RNN path of the upper BRNN branch is poorer.

The training dataset used for both problems are from the Universal Dependency 2.0 English branch (UD-English). It contains 12543 sentences and 14985 unique tokens. The test dataset for both experiments is from the test English branch (gold, en.conllu) of CoNLL 2017 shared task development and test data.

In the experiment, the lengths of the input and the target sequences are fixed. Sequences longer than the maximum length will be truncated. If the sequence is shorter than the fixed length, a special pad symbol will be used to pad the sequence. Similar technique called bucketing is also used for some popular models such as Sutskever et al. (2014) . The input to the POS tagging and the DP problems are the stemmed and lemmatized sequences (column 3 in CoNLL-U format). The target sequence for POS tagging is the universal POS tag (column 4). The target sequence for DP is the interleaved dependency relation to the headword (relation, column 8) and its position (column 7). As a result, the length of the actual target sequence (rather than the preprocessed fixed-length sequence) for DP is twice of the length of the actual input sequence. The input is first fed into a trainable embedding layer (Bengio et al., 2003) before it is sent to the actual network. Table 2 shows the detailed network and training specifications. It is important to point out that we do not finetune network parameters or apply any engineering trick for the best possible performance since our main goal is to compare the performance of the LSTM, GRU, ELSTM-I and ELSTM-II four cells under various macro-models.

5.2. EXPERIMENTAL RESULTS:

The results of the POS tagging problem with I t = X t and I T t = [X T t , h T t-1 ] are shown in Tables 3 and 4 , respectively. Among all possible combinations, the DBRNN with the LSTM cell has the highest accuracy (89.16%) for I t = X t while the DBRNN with the GRU cell has the (89.74%) has the highest accuracy for (Schuster & Paliwal, 1997) 88.49 82.84 79.14 Seq2seq (Sutskever et al., 2014) 25.83 24.87 31.43 Seq2seq with Attention (Vinyals et al., 2015) 27 The results of the DP problem with I t = X t and I T t = [X T t , h T t-1 ] are shown in Tables 5 and 6 , respectively. The ELSTM-I and ELSTM-II cells perform better than the LSTM and the GRU cells. Among all possible combinations, the sequence-to-sequence with attention combined with ELSTM-I has the best performance. It has an accuracy of 60.19% and 66.72% for the former and the latter, respectively. Also, the basic RNN often outperforms BRNN for the DP problem as shown in Tables 5 and 6 . This can be explained by that the basic RNN can access the entire input sequence when predicting the latter half of the output sequence since the target sequence is twice as long as the input. The other reason is that the BRNN can easily overfit when predicting the headword position. We see from Tables 3 -6 that the two DBRNN models outperform both BRNN and sequence-tosequence (without attention) in both POS tagging and DP problems regardless of used cells. This shows the superiority of introducing the expert opinion pooling from both the input and the predicted output.

I T t = [X T t , h T t-1 ].

Furthermore, the proposed ELSTM-I and ELSTM-II outperform the LSTM and the GRU by a significant margin for complex language tasks. This demonstrates that the scaling factor in the ELSTM-I and the ELSTM-II does help the network retain longer memory with better attention. ELSTMs even outperform Cheng et al. (2016) , which is designed specifically for DP. For the POS tagging problem, the ELSTM-I and the ELSTM-II do not perform as well as the GRU or the LSTM. This is probably due to the shorter memory requirement of this simple task. The ELSTM cells are over-parameterized and, as a result, they converge slower and tend to overfit the training data.

The ELSTM-I and the ELSTM-II perform particularly well for sequence-to-sequence (with and without attention) model. The hidden state c t of the ELSTMs is more expressive in representing patterns over a longer distance. Since the sequence-to-sequence design relies on the expressive power of the hidden state, the ELSTMs do have an advantage.

We compare the convergence behavior of I t = X t and I T t = [X T t , h T t-1 ] with the LSTM, the ELSTM-I and the ELSTM-II cells for the DP problem in Fig. 4 . We see that the ELSTM-I and the ELSTM-II do not behave very differently between I t = X t and I T t = [X T t , h T t-1 ] as the LSTM does. This shows the effectiveness of the ELSTM-I and the ELSTM-II design regardless of the input. More performance comparison will be provided in the Appendix.

6. CONCLUSION AND FUTURE WORK:

The memory decay behavior of the LSTM and the GRU was investigated and explained by mathematical analysis. Although the memory of the LSTM and the GRU fades slower than that of the SRN, it may not be long enough for complicated language tasks such as dependency parsing. To enhance the memory length, two cells called the ELSTM-I and the ELSTM-II were proposed. Furthermore, we introduced a new RNN model called the DBRNN that has the merits of both the BRNN and the encoder-decoder. It was shown by experimental results that the ELSTM-I and ELSTM-II outperforms other designs by a significant margin for complex language tasks. The DBRNN design is superior to BRNN as well as sequence-to-sequence models for both simple and complex language tasks. There are interesting issues to be further explored. For example, is the ELSTM cell also helpful in more sophisticated RNN models such as the deep RNN? Is it possible to make the DBRNN deeper and better? They are left for future study.

APPENDIX: MORE EXPERIMENTAL RESULTS:

In the appendix, we provide more experimental results to shed light on the convergence performance in the training of various models with different cells for the POS tagging and the DP tasks. First, we compare the training perplexity between I t = X t and I T t = [X T t , h T t-1 ] for various models with the LSTM, the ELSTM-I and the ELSTM-II cells in Figs. 5 6 7 8 . Then, we examine the training perplexity with I T t = [X T t , h T t-1 ] for various models with different cells in Figs. 9 -12. 

:

The result is generated by using exactly the same settings in Table.

We do not feed in the network with information other than input sequence itself.

Figures and Tables:

Figure 1: The diagram of a LSTM cell.

Figure 2: The diagrams of (a) the ELSTM-I cell and (b) the ELSTM-II cell.

Figure 3: The DBRNN model. Let F (•) be the cell function. The input is fed into the forward and backward RNN of the lower BRNN branch as

which means DBRNN can have less cross entropy than one-directional prediction by pooling expert opinions from that two predictions.

Figure 4: Training perplexity of the basic RNN with I t = X t and I T t = [X T t , h T t-1 ] for the DP problem.

Figure 5: The training perplexity of the BRNN model with I t = X t and I T t = [X T t , h T t-1 ] for the DP task.

Figure 6: The training perplexity of the DBRNN model with I t = X t and I T t = [X T t , h T t-1 ] for the DP task.

Figure 7: The training perplexity of the sequence-to-sequence model with I t = X t and I T t = [X T t , h T t-1 ] for the DP task.

Figure 8: The training perplexity of the sequence-to-sequence model with I t = X t and I T t = [X T t , h T t-1 ] for the POS tagging task.

Figure 10: The training perplexity of different models with the LSTM (left) and the GRU (right) cells for the DP task.

Network and training details

Table content: <table><tr><td>Input/output sequence fixed length</td><td>100/100</td></tr><tr><td>Number of RNN layers</td><td>1</td></tr><tr><td>Embedding layer vector size</td><td>512</td></tr><tr><td>Number of RNN cells</td><td>512</td></tr><tr><td>Batch size</td><td>20</td></tr><tr><td>Training steps</td><td>140000</td></tr><tr><td>Learning rate</td><td>0.5</td></tr><tr><td>Training optimizer</td><td>AdaGrad(Duchi, 2011)</td></tr><tr><td>Maximum gradient norm</td><td>5</td></tr></table>

POS tagging test accuracy, I t = X t (%)

Table content: <table><tr><td>LSTM</td><td>ELSTM-I</td><td>ELSTM-II</td></tr></table>

DP test accuracy, I t = X t (%)

Table content: <table><tr><td/><td>LSTM</td><td colspan="2">ELSTM-I</td><td>ELSTM-II</td></tr><tr><td>BASIC RNN</td><td>15.14</td><td>38.36</td><td/><td>42.52</td></tr><tr><td>BRNN</td><td>14.74</td><td>39.24</td><td/><td>35.78</td></tr><tr><td>Seq2seq</td><td>24.37</td><td>30.04</td><td/><td>35.67</td></tr><tr><td>Seq2seq with Attention</td><td>21.56</td><td>60.19</td><td/><td>45.15</td></tr><tr><td>DBRNN Combined</td><td>25.26</td><td>54.39</td><td/><td>53.80</td></tr><tr><td>DBRNN Forward</td><td>25.71</td><td>53.67</td><td/><td>52.61</td></tr><tr><td colspan="4">Table 6: DP test accuracy, I T t = [X T t , h T t-1 ] (%)</td></tr><tr><td/><td colspan="4">LSTM GRU ELSTM-I ELSTM-II</td></tr><tr><td>BASIC RNN</td><td colspan="2">44.12 47.49</td><td>54.52</td><td>56.02</td></tr><tr><td>BRNN</td><td colspan="2">32.46 27.83</td><td>54.14</td><td>47.72</td></tr><tr><td>Seq2seq</td><td colspan="2">27.67 29.94</td><td>40.85</td><td>48.73</td></tr><tr><td>Seq2seq with Attention</td><td colspan="2">31.47 53.70</td><td>66.72</td><td>51.24</td></tr><tr><td>DBRNN Combined</td><td colspan="2">56.89 51.32</td><td>60.30</td><td>58.28</td></tr><tr><td>DBRNN Forward</td><td colspan="2">58.30 53.17</td><td>59.81</td><td>58.05</td></tr><tr><td colspan="2">Bi-attention (Cheng et al., 2016) 1</td><td>61.29</td><td/></tr></table>

Peer review (iclr2018):
 The paper proposes a new recurrent cell and a new way to make predictions for sequence tagging. It starts with a theoretical analysis of memory capabilities in different RNN cells and goes on with experiments on POS tagging and dependency parsing. There are serious presentation issues in the paper, which make it hard to understand the ideas and claims. First, I was not able to understand the message of the theoretical analysis from Section 2 and could not see how it is different from similar derivations (i.e. using a linearized version of an RNN and eigenvalue decomposition) that can be found in many other papers, including (Bengio et al, 1994) and (Pascanu et al, 2013). Novelty aside, the analysis has presentation issues. SRN is introduced without a nonlinearity from the beginning, although normally it should have one. From the classical upper bound with a power of the largest singular value the paper concludes that “Clearly, the memory will explode if .lambda_{max} > 1”, which is not true: the memory *may* explode, having an exponentially growing upper bound does not mean that it *will* explode. The notation chosen from LSTM is different from the standard in deep learning community and was very hard to understand (Y_t is used instead of h_t, and h_t is used instead of c_t). This notation also does not seem consistent with the rest of the paper, for example Equations 28 and 29 suggest that Y_t are discrete outputs and not vectors. The novel cell SLSTM-I is meant to be different from LSTM by addition of “input weight vector c_i”, but is not explained where c_i come from. Are they trainable vectors, one for each time step? If yes, then how could such a cell be applied to sequence which are longer than the training ones? Equations 28, 29, 30 describe a very unusual kind of a Bidirectional Recurrent Network. To the best of my knowledge it is much more common to make one prediction based on future and past information, whereas the paper describes an approach in which first predictions are made separately based on the past and on the future. It is also very common to use several BiRNN layers, whereas the paper only uses one. As for the proposed DBRNN method, unfortunately, I was not able to understand it. I also have concerns regarding the experiments. Why is seq2seq without attention is used? On such small datasets attention is likely to make a big difference. What’s the point of reporting results of an LSTM without output nonlinearity (Table 5)? To sum up, the paper needs a lot work on many fronts, but most importantly, presentation should be improved.