28 citations · 67 across the 7 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LG2018★ 13 cited
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…
cs.LG2018★ 11 cited
A Comparative Study of Rule Extraction for Recurrent Neural Networks
Qinglong Wang, Kaixuan Zhang, Alexander G. Ororbia +3
Understanding recurrent networks through rule extraction has a long history. This has taken on new interests due to the need for interpreting or verifying neural networks. One basi…