Login / Signup

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

Yoshio EbiharaXin DaiTsuyoshi YunoVictor MagronDimitri PeaucelleSophie Tarbouriech
Published in: ECC (2024)
Keyphrases
  • upper bound
  • artificial intelligence
  • neural network
  • database systems
  • search algorithm
  • lower bound
  • evolutionary algorithm
  • asynchronous circuits
  • error probability