Data: Giovedì, 15 ottobre 2020
Posizione: SQUADRE - codice per entrare in squadra: n25vdtt
Altoparlante: Dario Guidotti
Ora: 14:30
Titolo: Verifica e riparazione di reti neurali
Astratto:
Le reti neurali stanno diventando popolari in molti settori tecnologici. Molti di questi domini sono, in qualche modo, critici per la sicurezza o la protezione: in quanto tali, oltre alle buone prestazioni nei compiti di interesse, richiedono garanzie formali sul comportamento dei sistemi coinvolti. Mentre i sistemi basati su reti neurali sono in grado, in generale, di soddisfare i requisiti prestazionali, non forniscono alcuna garanzia formale sul loro comportamento. In questo seminario mostriamo alcuni risultati di ricerca sul miglioramento della scalabilità delle metodologie di verifica esistenti e sulla riparazione delle reti neurali.
Bio:
Sono uno studente del DPhil in Informatica e Ingegneria dei Sistemi sotto la supervisione di Armando Tacchella e Massimo Narizzano (DIBRIS - UNIGE). Il mio principale campo di ricerca è la valorizzazione dei modelli appresi a macchina attraverso la verifica formale e, in particolare, la verifica delle reti neurali. In particolare, il mio lavoro ha lo scopo di dimostrare, con metodi formali, che alcune proprietà di interesse per un determinato modello di machine learning sono di interesse e, se necessario, di riparare tale modello al fine di garantire la validità delle proprietà.