On Optimizing Back-Substitution Methods for Neural Network Verification.
Tom ZelaznyHaoze WuClark W. BarrettGuy KatzPublished in: CoRR (2022)
Keyphrases
- neural network
- artificial neural networks
- data mining
- learning algorithm
- data sets
- statistical methods
- support vector
- preprocessing
- benchmark datasets
- empirical studies
- qualitative and quantitative
- computationally expensive
- model checking
- fuzzy logic
- significant improvement
- training set
- pattern recognition
- information systems
- social networks