Checking safety of neural networks with SMT solvers: a comparative evaluation

Pulina, Luca and Tacchella, Armando (2011) Checking safety of neural networks with SMT solvers: a comparative evaluation. In: AI*IA 2011: Proceedings of the 12th International conference on Artificial intelligence around man and beyond, 15-17 September 2011, Palermo, Italy. Berlin - Heidelberg, Springer. p. 127-138. ISBN 978-3-642-23953-3. Conference or Workshop Item.

Full text not available from this repository.

Alternative URLs:

http://dl.acm.org/citation.cfm?id=204199...

Abstract

In this paper we evaluate state-of-the-art SMT solvers on encodings of verification problems involving Multi-Layer Perceptrons (MLPs), a widely used type of neural network. Verification is a key technology to foster adoption of MLPs in safety-related applications, where stringent requirements about performance and robustness must be ensured and demonstrated. While safety problems for MLPs can be attacked solving Boolean combinations of linear arithmetic constraints, the generated encodings are hard for current state-of-the-art SMT solvers, limiting our ability to verify MLPs in practice.

Item Type:	Conference or Workshop Item (Lecture)
ID Code:	7212
Status:	Published
Uncontrolled Keywords:	Automated reasoning, SMT solvers, empirical evaluation, formal methods for adaptive systems
Subjects:	Area 09 - Ingegneria industriale e dell'informazione > ING-INF/05 Sistemi di elaborazione delle informazioni
Divisions:	001 Università di Sassari > 01 Dipartimenti > Economia, istituzioni e società
Publisher:	Springer
ISBN:	978-3-642-23953-3
Deposited On:	13 Mar 2012 16:24

I documenti depositati in UnissResearch sono protetti dalle leggi che regolano il diritto d'autore

Repository Staff Only: item control page