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]
robustness-verification
crown-bounds
jacobian-bounds
robustness-certification
recurjac
lipschitz-constant
-
Updated
Nov 23, 2019 - Python