Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction | IEEE Conference Publication | IEEE Xplore