Sign in
Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification.
Yoshio Ebihara
Xin Dai
Victor Magron
Dimitri Peaucelle
Sophie Tarbouriech
Published in:
CoRR (2023)
Keyphrases
</>
upper bound
parallel computation
real time
databases
database
data sets
neural network
knowledge base