/lstar_extraction

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

Primary LanguageJupyter Notebook

Stargazers