Tight Certified Robustness via Min-Max Representations of ReLU Neural Networks.
Brendon G. AndersonSamuel PfrommerSomayeh SojoudiPublished in: CDC (2023)
Keyphrases
- min max
- neural network
- multiobjective optimization
- max min
- lower bound
- upper bound
- distributed representations
- pattern recognition
- computational efficiency
- symbolic knowledge
- fuzzy logic
- multilayer perceptron
- higher level
- artificial neural networks
- neural nets
- fuzzy neural network
- rule extraction
- expert systems
- case study
- knowledge base
- adaptive resonance theory
- artificial intelligence
- neural network is trained
- genetic algorithm