Formal Verification of Deep Neural Networks

FMCAD, pp. 12018.

Cited by: 1|Bibtex|Views3|DOI:https://doi.org/10.23919/FMCAD.2018.8603017
EI
Other Links: dblp.uni-trier.de|academic.microsoft.com

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments