max-andr / provable-training-and-verification-approaches-towards-robust-neural-networks Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ai-secure/certified-robustness-sok-oldver
This repo keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on popular datasets and paper categorization.