sokcertifiedrobustness / sokcertifiedrobustness.github.io

Keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on popular datasets
17Updated 3 months ago

Related projects: