Verification of Recurrent Neural Networks
A Simple Way to Initialize Recurrent Networks of Rectified Linear Units