Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq.
Andrei AleksandrovKim VöllingerPublished in: NFM (2023)
Keyphrases
- activation function
- piecewise affine
- neural network
- back propagation
- feed forward
- artificial neural networks
- hidden layer
- feed forward neural networks
- neural architecture
- connection weights
- learning rate
- neural nets
- multilayer perceptron
- radial basis function
- network architecture
- hidden neurons
- feedforward neural networks
- hidden nodes
- pattern recognition
- neural network model
- basis functions
- recurrent neural networks
- fuzzy neural network
- global exponential stability
- bp neural network
- random variables
- k nearest neighbor
- fuzzy logic
- training data
- feature selection
- artificial intelligence
- genetic algorithm