GitHub repository: revbucket/lipMIP
Primary language: Jupyter Notebook
Description: Mixed integer programming for computing lipschitz constants of ReLU Networks