Provable Preimage Under-Approximation for Neural Networks.
Xiyue ZhangBenjie WangMarta KwiatkowskaPublished in: TACAS (3) (2024)
Keyphrases
- input pattern
- neural network
- error bounds
- approximation guarantees
- approximation error
- artificial neural networks
- closed form
- machine learning
- dual space
- neural network model
- greedy algorithm
- feed forward
- approximation algorithms
- training process
- network architecture
- rule extraction
- radial basis function
- approximation methods
- fuzzy logic
- approximation ratio
- control system
- genetic algorithm