Tight Certified Robustness via Min-Max Representations of ReLU Neural Networks.
Brendon G. AndersonSamuel PfrommerSomayeh SojoudiPublished in: CoRR (2023)
Keyphrases
- min max
- neural network
- max min
- multiobjective optimization
- artificial neural networks
- upper bound
- fuzzy logic
- pattern recognition
- lower bound
- neural nets
- worst case
- symbolic representation
- back propagation
- genetic algorithm
- data sets
- distributed representations
- multi layer
- fuzzy systems
- multiple representations
- feedforward neural networks
- self organizing maps
- network architecture
- training process
- multilayer perceptron
- database
- computer vision
- data mining
- real time