Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation.

Luca Pulina Armando Tacchella

Published in: AI*IA (2011)

Keyphrases

comparative evaluation
neural network
modulo theories
pattern recognition
artificial neural networks
fuzzy logic
back propagation
multilayer perceptron
page segmentation
scoring methods
information retrieval
neural network model
answer set programming
statistical machine translation