Introducción a la verificación de redes neuronales

Título original:

Introduction to Neural Network Verification

Contenido del libro:

En la última década, una serie de avances en hardware y software han conspirado para impulsar el aprendizaje profundo y las redes neuronales a la vanguardia de la informática.

El aprendizaje profundo ha creado un cambio cualitativo en nuestra concepción de lo que es el software y lo que puede hacer: Cada día vemos nuevas aplicaciones del aprendizaje profundo, desde la sanidad hasta el arte, y parece que sólo estamos arañando la superficie de un universo de nuevas posibilidades. Este libro ofrece la primera introducción a las ideas fundamentales de la verificación automatizada aplicadas a las redes neuronales profundas y al aprendizaje profundo.

Se divide en tres partes: La parte 1 define las redes neuronales como grafos de flujo de datos de operadores sobre entradas de valor real. La parte 2 trata de las técnicas de verificación basadas en restricciones. La Parte 3 trata de las técnicas de verificación basadas en la abstracción.

El libro es un tratamiento autónomo de un tema que se sitúa en la intersección del aprendizaje automático y la verificación formal. Puede servir como una introducción al campo para estudiantes de primer año de posgrado o estudiantes universitarios de último año, incluso si no han estado expuestos al aprendizaje profundo o la verificación.