Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement.
Edoardo ManinoBernardo MagriMustafa A. MustafaLucas C. CordeiroPublished in: FoMLAS@CAV (2023)
Keyphrases
- neural network
- inference process
- artificial neural networks
- pattern recognition
- back propagation
- high level
- neural network model
- multilayer perceptron
- pointwise
- bayesian inference
- data sets
- genetic algorithm
- neural nets
- fuzzy systems
- fault diagnosis
- fuzzy logic
- privacy preserving
- recurrent neural networks
- belief networks
- artificial intelligence
- adaptive resonance theory
- refinement process
- inference mechanism
- multi layer
- training data
- random fields
- probabilistic inference
- support vector