tech-srl / lstar_extraction

implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
75Updated 4 years ago

Related projects

Alternatives and complementary repositories for lstar_extraction