GitHub repository: revbucket/geometric-certificates
Primary language: Python
Description: Geometric Certifications of Neural Nets