Formal Verification of Deep Neural Networks

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