Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization.
Jianting YangSrecko ÐurasinovicJean-Bernard LasserreVictor MagronJun ZhaoPublished in: CoRR (2024)
Keyphrases
- neural network
- optimization algorithm
- sparse representation
- pattern recognition
- artificial neural networks
- optimization problems
- back propagation
- global optimization
- high dimensional
- sparse data
- multilayer perceptron
- learning rules
- highly non linear
- optimization model
- multi layer
- desirable properties
- sparse coding
- feed forward
- neural network model