Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis.
Sina SharifiMahyar FazlyabPublished in: CoRR (2024)
Keyphrases
- reachability analysis
- neural network
- model checking
- markov decision processes
- timed automata
- upper bound
- fuzzy logic
- pattern recognition
- lower bound
- artificial neural networks
- state space
- incremental algorithms
- neural network model
- lower and upper bounds
- genetic algorithm
- temporal logic
- step size
- probability distribution