Scalable Quantitative Verification For Deep Neural Networks

Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel +1

Despite the functional success of deep neural networks (DNNs), their trustworthiness remains a crucial open challenge. To address this challenge, both testing and verification tech…