8 citations · 16 across the 4 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
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…
cs.LG2018
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…