GitHub repository: AI-secure/Provable-Training-and-Verification-Approaches-Towards-Robust-Neural-Networks
Description: This repo keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on popular datasets and paper categorization.