Login / Signup

Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification.

Yoshio EbiharaXin DaiVictor MagronDimitri PeaucelleSophie Tarbouriech
Published in: CoRR (2023)
Keyphrases
  • upper bound
  • parallel computation
  • real time
  • databases
  • database
  • data sets
  • neural network
  • knowledge base