Formal methods and software engineering for DL Security, safety and productivity for DL systems development - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2019

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

Résumé

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.
Fichier principal
Vignette du fichier
1901.11334.pdf (133.63 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Licence : Domaine public

Dates et versions

hal-04047477 , version 1 (27-03-2023)

Licence

Domaine public

Identifiants

Citer

Gaétan J D R Hains, Arvid Jakobsson, Youry Khmelevsky. Formal methods and software engineering for DL Security, safety and productivity for DL systems development. 2019. ⟨hal-04047477⟩

Collections

LACL UPEC
9 Consultations
17 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More