Giters

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]

Home Page:https://github.com/Verified-Intelligence/auto_LiRPA

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

huanzhang12/RecurJac-and-CROWN Stargazers