/sokcertifiedrobustness.github.io

Keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on popular datasets

Primary LanguageSCSS

Issues