Verification of LSTM Neural Networks with Non-linear Activation Functions.
Farzaneh MoradkhaniConnor FibichMartin FränzlePublished in: NFM (2023)
Keyphrases
- activation function
- neural network
- recurrent neural networks
- hidden layer
- artificial neural networks
- feed forward
- back propagation
- feed forward neural networks
- multilayer perceptron
- connection weights
- hidden neurons
- feedforward neural networks
- neural nets
- neural architecture
- network architecture
- fuzzy neural network
- learning rate
- hidden nodes
- neural network model
- k nearest neighbor
- radial basis function
- genetic algorithm
- pattern recognition
- small number
- multi layer perceptron
- support vector
- training phase
- global exponential stability
- input data
- feature extraction
- input output