1. 4
    Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples ai formalmethods arxiv.org
    mjn avatar via mjn 9 months ago | cached | no comments

  1.