5 citations · 9 across the 11 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2023★ 1 cited
Provable Preimage Under-Approximation for Neural Networks (Full Version)
Xiyue Zhang, Benjie Wang, Marta Kwiatkowska
Neural network verification mainly focuses on local robustness properties, which can be checked by bounding the image (set of outputs) of a given input set. However, often it is im…
cs.SE2020★ 5 cited
Towards Characterizing Adversarial Defects of Deep Learning Software from the Lens of Uncertainty
Xiyue Zhang, Xiaofei Xie, Lei Ma +5
Over the past decade, deep learning (DL) has been successfully applied to many industrial domain-specific tasks. However, the current state-of-the-art DL software still suffers fro…