recurjac

There are 0 repository under recurjac topic.

• huanzhang12 / RecurJac-and-CROWN

  Reference implementations for RecurJac, CROWN, FastLin and FastLip (Neural Network verification and robustness certification algorithms) [Do not use this repo, use https://github.com/Verified-Intelligence/auto_LiRPA instead]

  crown-boundsjacobian-boundsrobustness-certificationrobustness-verificationrecurjaclipschitz-constant
  Language:Python 25