3 ms·Extracting Automata from RNNs Using Queries and Counterexamples [pdf]4 points by stablemap 9y ago