A Sound Abstraction Method Towards Efficient Neural Networks Verification.
Fateh BoudardaraAbderraouf BoussifMohamed GhazelPublished in: VECoS (2023)
Keyphrases
- neural network
- high accuracy
- synthetic data
- detection method
- computational complexity
- pairwise
- prior knowledge
- clustering method
- computationally efficient
- similarity measure
- classification method
- experimental evaluation
- cost function
- support vector machine svm
- training algorithm
- high efficiency
- significant improvement
- preprocessing
- pattern recognition
- energy function
- self organizing maps
- objective function
- model checking
- high precision
- bp neural network