Fetching the paper…

Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples · Around