Formal Verification of Deep Neural Networks
FMCAD, pp. 12018.
Deep neural networks are among the most successful artificial intelligence technologies making impact in a variety of practical applications. However, many concerns were raised about the ‘magical’ power of these networks. It is disturbing that we are really lacking of understanding of the decision making process behind this technology. Th...More
Full Text (Upload PDF)
PPT (Upload PPT)