Titre original :
Introduction to Neural Network Verification
Contenu du livre :
Au cours de la dernière décennie, un certain nombre d'avancées matérielles et logicielles se sont conjuguées pour propulser l'apprentissage profond et les réseaux neuronaux au premier plan de l'informatique.
L'apprentissage profond a entraîné un changement qualitatif dans notre conception de ce qu'est un logiciel et de ce qu'il peut faire : Chaque jour, nous voyons de nouvelles applications de l'apprentissage profond, de la santé à l'art, et nous avons l'impression de ne faire qu'effleurer la surface d'un univers de nouvelles possibilités. Ce livre présente pour la première fois les idées fondamentales de la vérification automatisée appliquées aux réseaux neuronaux profonds et à l'apprentissage profond.
Il est divisé en trois parties : La première partie définit les réseaux neuronaux comme des graphes de flux de données d'opérateurs sur des entrées à valeur réelle. La partie 2 traite des techniques de vérification basées sur les contraintes. La troisième partie traite des techniques de vérification basées sur l'abstraction.
Le livre est un traitement autonome d'un sujet qui se situe à l'intersection de l'apprentissage automatique et de la vérification formelle. Il peut servir d'introduction au domaine pour les étudiants de première année de licence ou de master, même s'ils n'ont pas été exposés à l'apprentissage profond ou à la vérification.
Autres informations sur le livre :
| ISBN : | 9781680839104 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Broché |
| Année de publication : | 2021 |
| Nombre de pages : | 180 |
Achat:
Actuellement disponible, en stock.
