ShaoruChen/DeepSplit

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

Language: Python - Size: 24.5 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 1