Challenging SMT solvers to verify neural networks.

Luca Pulina Armando Tacchella

Published in: AI Commun. (2012)

Keyphrases

neural network
pattern recognition
modulo theories
artificial neural networks
fault diagnosis
fuzzy logic
neural nets
data sets
machine learning
genetic algorithm
neural network model
statistical machine translation
real world
multi layer
rule extraction