VERIFICA FORMALE DI RETI NEURALI
Webinar di formazione e trasferimento tecnologico
RELATORE: ARMANDO TACCHELLA PROFESSORE ORDINARIO
DIPARTIMENTO DI INFORMATICA, BIOINGEGNERIA, ROBOTICA E INGEGNERIA DEI SISTEMI
UNIVERSITÀ DEGLI STUDI DI GENOVAAbstract
In questo seminario introdurremo il problema della verifica formale di reti neurali.
Dopo una introduzione al tema dell'apprendimento computazionale (Machine Learning) e, in particolare, all'utilizzo delle reti neurali per l'apprendimento di funzioni a partire dai dati, considereremo il problema della loro verifica e presenteremo il tool NeVer2, sviluppato in collaborazione tra Università di Genova e Università di Sassari. Mostreremo l'architettura di NeVer2 e ne descriveremo le diverse capacità, concludendo il seminario con un semplice esempio pratico di utilizzo di NeVer2 per la verifica di reti neurali.