huanzhang12 / recurjac-and-crown Goto Github PK
View Code? Open in Web Editor NEWReference 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]
Home Page: https://github.com/Verified-Intelligence/auto_LiRPA
License: BSD 2-Clause "Simplified" License