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. © 2011 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Pulina, L., & Tacchella, A. (2011). Checking safety of neural networks with SMT solvers: A comparative evaluation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6934 LNAI, pp. 127–138). https://doi.org/10.1007/978-3-642-23954-0_14
Mendeley helps you to discover research relevant for your work.