2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.LG2019★ 2 cited
Connecting First and Second Order Recurrent Networks with Deterministic Finite Automata
Qinglong Wang, Kaixuan Zhang, Xue Liu +1
We propose an approach that connects recurrent networks with different orders of hidden interaction with regular grammars of different levels of complexity. We argue that the corre…
cs.LG2018
Verification of Recurrent Neural Networks Through Rule Extraction
Qinglong Wang, Kaixuan Zhang, Xue Liu +1
The verification problem for neural networks is verifying whether a neural network will suffer from adversarial samples, or approximating the maximal allowed scale of adversarial p…