/lstar_extraction

implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples

Primary LanguageJupyter Notebook

Watchers

No one’s watching this repository yet.