#

recurjac

Here is 1 public repository matching this 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]

robustness-verification crown-bounds jacobian-bounds robustness-certification recurjac lipschitz-constant

Updated Nov 23, 2019
Python

Improve this page

Add a description, image, and links to the recurjac topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the recurjac topic, visit your repo's landing page and select "manage topics."