/DeepSplit

Solving the linear programming-based neural network verification problem through Alternating Direction Method of Multipliers (ADMM).

Primary LanguagePython

No issues in this repository yet.