Progetto PROSSIMO: Sintesi e analisi automatica di CPS (aggiornamento)
Caricamento...
Data
2020-11-13
Autori
Pulina, Luca
Titolo del periodico
ISSN
Titolo del volume
Editore
Abstract
In questo lavoro presentiamo un prototipo iniziale di NeVer 2.0, un nuovo sistema per la sintesi e l'analisi automatizzate di Deep Neural Network. NeVer 2.0 prende in prestito la sua filosofia di progettazione da NeVer, il primo pacchetto che ha integrato l'apprendimento, la verifica automatizzata e la riparazione di reti neurali (superficiali) in un unico strumento. L'obiettivo di NeVer 2.0 è fornire un'integrazione simile per reti profonde sfruttando una selezione di framework di apprendimento all'avanguardia e integrandoli con algoritmi di verifica per facilitare la sfida della scalabilità e rendere possibile la riparazione di reti neurali che presentano errori o violazioni di date proprietà.