Sparse Polynomial Optimisation for Neural Network Verification.
Matthew NewtonAntonis PapachristodoulouPublished in: CoRR (2022)
Keyphrases
- neural network
- genetic algorithm
- group method of data handling
- fuzzy logic
- artificial neural networks
- back propagation
- model checking
- neural network model
- sparse data
- compressive sensing
- neural network is trained
- formal methods
- high dimensional
- sparse coding
- face verification
- dictionary learning
- backpropagation neural network
- signature verification
- training algorithm
- sparse representation
- multilayer perceptron
- radial basis function
- high order
- self organizing maps
- hopfield neural network
- auto associative
- asynchronous circuits
- optimisation algorithm
- machine learning
- functional verification
- data sets