Example Guided Synthesis of Linear Approximations for Neural Network Verification.
Brandon PaulsenChao WangPublished in: CAV (1) (2022)
Keyphrases
- neural network
- artificial neural networks
- closed form
- linear functions
- fault diagnosis
- model checking
- back propagation
- fuzzy neural network
- taylor series
- neural network is trained
- neural network model
- network model
- transfer function
- linear approximation
- efficient computation
- linear systems
- highly non linear
- image reconstruction from projections
- activation function
- multi layer
- self organizing maps
- support vector machine
- pattern recognition
- training data