Verifica delle Reti Neurali: Un'Introduzione Teorica

Queste note di lezione offrono un'introduzione teorica alla verifica delle reti neurali, coprendo reti neurali feed-forward, reti neurali ricorrenti, meccanismi di attenzione e trasformatori. Il testo discute linguaggi di specifica e tecniche algoritmiche di verifica. Pubblicato su arXiv nelle sezioni di informatica e logica in informatica, le note forniscono una base per comprendere come verificare formalmente il comportamento delle reti neurali.