A DPLL(T) Framework for Verifying Deep Neural Networks

Hai Duong, ThanhVu Nguyen, Matthew Dwyer

Deep Neural Networks (DNNs) have emerged as an effective approach to tackling real-world problems. However, like human-written software, DNNs can have bugs and can be attacked. To…