Pinned
Seems like as good a time as ever to make (and maintain) a thread of publications, to keep them easy to find.
First is extraction of DFAs from recurrent neural networks, using lstar. Challenge was equivalence queries.
We have a cool new algorithm for extracting automata from RNNs (LSTMs, GRUs..)
Turns out that for many simple languages, RNNs actually learns quite large and weird DFAs that have many blind-spots which our algo discovers.
arxiv.org/abs/1711.09576
(w/ Gail Weiss, @yahave )



















