43 citations · 91 across the 6 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2020
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.LG2020
SOCRATES: Towards a Unified Platform for Neural Network Analysis
Long H. Pham, Jiaying Li, Jun Sun
Studies show that neural networks, not unlike traditional programs, are subject to bugs, e.g., adversarial samples that cause classification errors and discriminatory instances tha…