Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq.
Andrei AleksandrovKim VöllingerPublished in: CoRR (2023)
Keyphrases
- activation function
- piecewise affine
- neural network
- artificial neural networks
- back propagation
- feed forward
- hidden neurons
- feed forward neural networks
- hidden layer
- multilayer perceptron
- connection weights
- network architecture
- neural nets
- feedforward neural networks
- neural architecture
- hidden nodes
- basis functions
- fuzzy neural network
- neural network model
- learning rate
- radial basis function
- artificial intelligence
- pattern recognition
- rbf neural network
- fuzzy logic
- genetic algorithm
- input space
- multi layer perceptron
- dimensionality reduction