Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report.
Dario GuidottiLaura PandolfoLuca PulinaPublished in: ICTAI (2023)
Keyphrases
- neural network
- modulo theories
- highly non linear
- pattern recognition
- artificial neural networks
- neural network model
- genetic algorithm
- fuzzy logic
- fault diagnosis
- self organizing maps
- sat solvers
- neural nets
- multi layer
- multi layer perceptron
- highly optimized
- probabilistic model
- search algorithm
- current status
- sat solving
- learning algorithm
- satisfiability modulo theories