* @param weights [in] path to the weights file. * @param encoding [in] path to the encoding file. * @param rnn_type [in] rnn cell type. * @param depth [in] number of recurrent hidden layers. * @param ...

Python port of Cert-RNN — zonotope abstract-interpretation transformers for certifying robustness of RNNs and LSTMs against L_inf input perturbations. Implements the sound bilinear transformers and ...