BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic.
Wael FatnassiHaitham KhedrValen YamamotoYasser ShoukryPublished in: HSCC (2023)
Keyphrases
- neural network
- interval arithmetic
- lower bound
- upper bound
- partial derivatives
- real numbers
- worst case
- constraint propagation
- floating point
- artificial neural networks
- back propagation
- neural network model
- pattern recognition
- genetic algorithm
- finite sets
- nearest neighbor
- fuzzy logic
- provably correct
- heuristic search
- knn
- vc dimension
- implicit surfaces
- linear programming
- fuzzy numbers
- objective function
- three dimensional