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]

Language: Python - Size: 74.2 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 25 - Forks: 6