Formal methods and software engineering for DL. Security, safety and productivity for DL systems development

01/31/2019
by   Gaetan J. D. R. Hains, et al.
0

Deep Learning (DL) techniques are now widespread and being integrated into many important systems. Their classification and recognition abilities ensure their relevance for multiple application domains. As machine-learning that relies on training instead of algorithm programming, they offer a high degree of productivity. But they can be vulnerable to attacks and the verification of their correctness is only just emerging as a scientific and engineering possibility. This paper is a major update of a previously-published survey, attempting to cover all recent publications in this area. It also covers an even more recent trend, namely the design of domain-specific languages for producing and training neural nets.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset