activity
20162025
most citedAdversarial Sample Detection for Deep Neural Network through Model Mutation Testing

153 citations · 322 across the 21 of their papers we have counts for

collaborators
Showing 2020Show all

2 papers · 1 filter

cs.LG2020★ 1 cited

Towards Repairing Neural Networks Correctly

Guoliang Dong, Jun Sun, Jingyi Wang +2

Neural networks are increasingly applied to support decision making in safety-critical applications (like autonomous cars, unmanned aerial vehicles and face recognition based authe…

cs.AI2020★ 4 cited

Improving Neural Network Verification through Spurious Region Guided Refinement

Pengfei Yang, Renjue Li, Jianlin Li +5

We propose a spurious region guided refinement approach for robustness verification of deep neural networks. Our method starts with applying the DeepPoly abstract domain to analyze…