23 citations · 44 across the 4 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
cs.LG2017
Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
Gail Weiss, Yoav Goldberg, Eran Yahav
We present a novel algorithm that uses exact learning and abstraction to extract a deterministic finite automaton describing the state dynamics of a given trained RNN. We do this u…
cs.PL2017
Programming Not Only by Example
Hila Peleg, Sharon Shoham, Eran Yahav
In recent years, there has been tremendous progress in automated synthesis techniques that are able to automatically generate code based on some intent expressed by the programmer.…
cs.LG2017★ 2 cited
Learning Disjunctions of Predicates
Nader H. Bshouty, Dana Drachsler-Cohen, Martin Vechev +1
Let be a set of boolean functions. We present an algorithm for learning from membership queries. Our algorithm asks at most $…