55 citations · 66 across the 6 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2020★ 9 cited
Input Validation for Neural Networks via Runtime Local Robustness Verification
Jiangchao Liu, Liqian Chen, Antoine Mine +1
Local robustness verification can verify that a neural network is robust wrt. any perturbation to a specific input within a certain distance. We call this distance Robustness Radiu…
cs.LG2019★ 55 cited
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
Jianlin Li, Pengfei Yang, Jiangchao Liu +3
Deep neural networks (DNNs) have been shown lack of robustness for the vulnerability of their classification to small perturbations on the inputs. This has led to safety concerns o…