Verification of LSTM Neural Networks with Non-linear Activation Functions. - Farzaneh Moradkhani; Connor Fibich; Martin Fränzle (NFM, 2023)