Certifying Geometric Robustness of Neural Networks.
Mislav BalunovicMaximilian BaaderGagandeep SinghTimon GehrMartin T. VechevPublished in: NeurIPS (2019)
Keyphrases
- neural network
- pattern recognition
- neural network model
- geometric structure
- feed forward
- computational efficiency
- fuzzy logic
- back propagation
- training algorithm
- machine learning
- fault diagnosis
- decision making
- databases
- information systems
- multilayer perceptron
- neural nets
- geometric information
- competitive learning
- adaptive resonance theory
- geometric reasoning