Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification.
Tobias LadnerMatthias AlthoffPublished in: AAAI (2024)
Keyphrases
- neural network
- formal methods
- group method of data handling
- artificial neural networks
- formal analysis
- model checking
- back propagation
- fuzzy logic
- neural network model
- multilayer perceptron
- formal specification
- pattern recognition
- formal model
- artificial intelligence
- neural nets
- fuzzy artmap
- bp neural network
- probabilistic relaxation
- functional verification
- face verification
- activation function
- fault diagnosis
- objective function
- training data
- multi layer perceptron
- linear programming
- iterative algorithms
- learning vector quantization
- asynchronous circuits
- knn
- false acceptance rate
- neural network is trained
- genetic algorithm