Working on extracting automata from recurrent neural networks (RNNs); as well as characterizing assumptions the RNN makes about the input distribution