GitHub repository: 95616ARG/PRDNN
Primary language: Python
Description: Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."