Sparse polynomial optimisation for neural network verification.
Matthew NewtonAntonis PapachristodoulouPublished in: Autom. (2023)
Keyphrases
- neural network
- genetic algorithm
- group method of data handling
- back propagation
- sparse data
- artificial neural networks
- high dimensional
- pattern recognition
- feed forward
- sparse representation
- self organizing maps
- network architecture
- bp neural network
- model checking
- fuzzy logic
- neural network model
- neural nets
- dictionary learning
- face verification
- formal verification
- fuzzy artmap
- optimisation algorithm
- recurrent neural networks
- prediction model
- feed forward neural networks
- sparse matrix
- face recognition