17 citations · 22 across the 2 of their papers we have counts for
2 papers
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…
cs.SE2019★ 17 cited
A Survey on Theorem Provers in Formal Methods
M. Saqib Nawaz, Moin Malik, Yi Li +2
Mechanical reasoning is a key area of research that lies at the crossroads of mathematical logic and artificial intelligence. The main aim to develop mechanical reasoning systems (…