sp2023 topic
List
sp2023 repositories
sokcertifiedrobustness.github.io
17
Stars
5
Forks
Watchers
Keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on popular datasets
