GitHub repository: phK3/NNEquivalence
Primary language: Jupyter Notebook
Description: Tool to encode NNs as MILP and check them for equivalence