Verifica di Reti Neurali con Constraint Programming

Abstract

Il documento descrive la ricerca condotta al laboratorio Heudiasyc dell'Université de Technologie de Compiègne (UTC) e all'Università degli Studi di Genova sugli argomenti della verifica di reti neurali con Programmazione Lineare, Programmazione a Vincoli e falsificazione di reti neurali con un metodo di sampling. Il documento è organizzato come segue. All'inizio, si discute del contesto del problema. Poi viene proposto un modello per ciascun metodo di verifiica. Infine, i risultati ottenuti sono discussi.

The document describes the research conducted at the Heudiasyc laboratory at the University of Technology of Compiègne (UTC) and then at Università degli Studi di Genova on the topics of neural network verification through Mixed Integer Linear Programming and Constraint Programming and the neural network falsification through sampling. The report is organized as follows. At first, the research context of the problem is detailed. Then, an encoding is proposed for each method. Finally, some results are gathered and discussed.