Introduzione alla verifica delle reti neurali

Titolo originale:

Introduction to Neural Network Verification

Contenuto del libro:

Nell'ultimo decennio, una serie di progressi hardware e software hanno contribuito a portare l'apprendimento profondo e le reti neurali alla ribalta dell'informatica.

L'apprendimento profondo ha creato un cambiamento qualitativo nella nostra concezione di cosa sia il software e di cosa possa fare: Ogni giorno vediamo nuove applicazioni del deep learning, dall'assistenza sanitaria all'arte, e sembra che stiamo solo grattando la superficie di un universo di nuove possibilità. Questo libro offre la prima introduzione alle idee fondamentali della verifica automatica applicate alle reti neurali profonde e al deep learning.

È diviso in tre parti: La parte 1 definisce le reti neurali come grafi di flussi di dati di operatori su ingressi a valore reale. La parte 2 illustra le tecniche di verifica basate sui vincoli. La terza parte tratta le tecniche di verifica basate sull'astrazione.

Il libro è una trattazione autonoma di un argomento che si colloca all'intersezione tra apprendimento automatico e verifica formale. Può servire come introduzione al campo per gli studenti del primo anno di laurea o per i laureandi, anche se non sono stati esposti all'apprendimento profondo o alla verifica.