GitHub repository: sokcertifiedrobustness/sokcertifiedrobustness.github.io
Primary language: SCSS
Created: 2020-08-28T08:48:13Z
Description: Keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on popular datasets