GitHub repository: minwu-cs/DeepGame
Primary language: Python
Description: A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees