39 citations · 62 across the 3 of their papers we have counts for
3 papers
cs.LG2019★ 23 cited
Learning Deterministic Weighted Automata with Queries and Counterexamples
Gail Weiss, Yoav Goldberg, Eran Yahav
We present an algorithm for extraction of a probabilistic deterministic finite automaton (PDFA) from a given black-box language model, such as a recurrent neural network (RNN). The…
cs.PL2016
Optimal Learning of Specifications from Examples
Dana Drachsler-Cohen, Martin Vechev, Eran Yahav
A fundamental challenge in synthesis from examples is designing a learning algorithm that poses the minimal number of questions to an end user while guaranteeing that the target hy…
cs.CR2014★ 39 cited
Exploiting Social Navigation
Meital Ben Sinai, Nimrod Partush, Shir Yadid +1
We present an effective Sybil attack against social location based services. Our attack is based on creating a large number of reputed "bot drivers", and controlling their reported…