├── .gitignore ├── .gitmodules ├── README.md ├── __init__.py ├── bound_prop.py ├── curlyBrace.py ├── experiment.py ├── general_net.py ├── geocert_port.py ├── geometric_certificates ├── hyperbox.py ├── interval_analysis.py ├── l1_balls.py ├── linear_bounds.py ├── lipMIP.py ├── lipMIP2.py ├── neural_nets ├── __init__.py ├── adv_attacks.py ├── data_loaders.py ├── iris.csv └── train.py ├── other_methods ├── __init__.py ├── clever.py ├── fast_lip.py ├── lip_lp.py ├── lip_sdp.py ├── lipopt.py ├── lipopt_file.py ├── naive_methods.py ├── other_methods.py ├── saved_weights │ ├── 40023ce1a622e25ccab8e29135eaa550da89d9ecd9a07800.mat │ ├── 80a7111361a83ae3b153a5b3408b72b81d58364d665ba8f6.mat │ ├── 80f644523801b8b5aef21ca63027c78043a9992635bc00fe.mat │ └── fefb1477539176ede449a68f29999366c0afdb752cf065c3.mat ├── seq_lip.py └── z_lip.py ├── polytope.py ├── pre_activation_bounds.py ├── relu_nets.py ├── requirements.txt ├── scripts ├── MNISTTrain_regularizer_series.py ├── depth_architecture_series.py ├── job_builder_architecture_series.py ├── job_builder_data_series.py ├── job_builder_mnist_series.py ├── job_builder_regularizer_series.py ├── job_builder_training_series.py ├── job_scheduler.py ├── kdData_data_series.py ├── regbundle_regularizer_series.py ├── regularized_training.py └── width_architecture_series.py ├── splitMIP.py ├── tutorials ├── leaky_tutorial.ipynb ├── tutorial_1_neuralNets_data.ipynb ├── tutorial_2_lipMIP.ipynb └── tutorial_3_other_methods.ipynb ├── utilities.py ├── zonotope.py └── zonotope_ia.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/.gitmodules -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/README.md -------------------------------------------------------------------------------- /__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /bound_prop.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/bound_prop.py -------------------------------------------------------------------------------- /curlyBrace.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/curlyBrace.py -------------------------------------------------------------------------------- /experiment.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/experiment.py -------------------------------------------------------------------------------- /general_net.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/general_net.py -------------------------------------------------------------------------------- /geocert_port.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/geocert_port.py -------------------------------------------------------------------------------- /geometric_certificates: -------------------------------------------------------------------------------- 1 | geometric-certificates -------------------------------------------------------------------------------- /hyperbox.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/hyperbox.py -------------------------------------------------------------------------------- /interval_analysis.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/interval_analysis.py -------------------------------------------------------------------------------- /l1_balls.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/l1_balls.py -------------------------------------------------------------------------------- /linear_bounds.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/linear_bounds.py -------------------------------------------------------------------------------- /lipMIP.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/lipMIP.py -------------------------------------------------------------------------------- /lipMIP2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/lipMIP2.py -------------------------------------------------------------------------------- /neural_nets/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /neural_nets/adv_attacks.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/neural_nets/adv_attacks.py -------------------------------------------------------------------------------- /neural_nets/data_loaders.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/neural_nets/data_loaders.py -------------------------------------------------------------------------------- /neural_nets/iris.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/neural_nets/iris.csv -------------------------------------------------------------------------------- /neural_nets/train.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/neural_nets/train.py -------------------------------------------------------------------------------- /other_methods/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/other_methods/__init__.py -------------------------------------------------------------------------------- /other_methods/clever.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/other_methods/clever.py -------------------------------------------------------------------------------- /other_methods/fast_lip.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/other_methods/fast_lip.py -------------------------------------------------------------------------------- /other_methods/lip_lp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/other_methods/lip_lp.py -------------------------------------------------------------------------------- /other_methods/lip_sdp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/other_methods/lip_sdp.py -------------------------------------------------------------------------------- /other_methods/lipopt.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/other_methods/lipopt.py -------------------------------------------------------------------------------- /other_methods/lipopt_file.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/other_methods/lipopt_file.py -------------------------------------------------------------------------------- /other_methods/naive_methods.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/other_methods/naive_methods.py -------------------------------------------------------------------------------- /other_methods/other_methods.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/other_methods/other_methods.py -------------------------------------------------------------------------------- /other_methods/saved_weights/40023ce1a622e25ccab8e29135eaa550da89d9ecd9a07800.mat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/other_methods/saved_weights/40023ce1a622e25ccab8e29135eaa550da89d9ecd9a07800.mat -------------------------------------------------------------------------------- /other_methods/saved_weights/80a7111361a83ae3b153a5b3408b72b81d58364d665ba8f6.mat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/other_methods/saved_weights/80a7111361a83ae3b153a5b3408b72b81d58364d665ba8f6.mat -------------------------------------------------------------------------------- /other_methods/saved_weights/80f644523801b8b5aef21ca63027c78043a9992635bc00fe.mat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/other_methods/saved_weights/80f644523801b8b5aef21ca63027c78043a9992635bc00fe.mat -------------------------------------------------------------------------------- /other_methods/saved_weights/fefb1477539176ede449a68f29999366c0afdb752cf065c3.mat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/other_methods/saved_weights/fefb1477539176ede449a68f29999366c0afdb752cf065c3.mat -------------------------------------------------------------------------------- /other_methods/seq_lip.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/other_methods/seq_lip.py -------------------------------------------------------------------------------- /other_methods/z_lip.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/other_methods/z_lip.py -------------------------------------------------------------------------------- /polytope.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/polytope.py -------------------------------------------------------------------------------- /pre_activation_bounds.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/pre_activation_bounds.py -------------------------------------------------------------------------------- /relu_nets.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/relu_nets.py -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/requirements.txt -------------------------------------------------------------------------------- /scripts/MNISTTrain_regularizer_series.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/scripts/MNISTTrain_regularizer_series.py -------------------------------------------------------------------------------- /scripts/depth_architecture_series.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/scripts/depth_architecture_series.py -------------------------------------------------------------------------------- /scripts/job_builder_architecture_series.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/scripts/job_builder_architecture_series.py -------------------------------------------------------------------------------- /scripts/job_builder_data_series.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/scripts/job_builder_data_series.py -------------------------------------------------------------------------------- /scripts/job_builder_mnist_series.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/scripts/job_builder_mnist_series.py -------------------------------------------------------------------------------- /scripts/job_builder_regularizer_series.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/scripts/job_builder_regularizer_series.py -------------------------------------------------------------------------------- /scripts/job_builder_training_series.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/scripts/job_builder_training_series.py -------------------------------------------------------------------------------- /scripts/job_scheduler.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/scripts/job_scheduler.py -------------------------------------------------------------------------------- /scripts/kdData_data_series.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/scripts/kdData_data_series.py -------------------------------------------------------------------------------- /scripts/regbundle_regularizer_series.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/scripts/regbundle_regularizer_series.py -------------------------------------------------------------------------------- /scripts/regularized_training.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/scripts/regularized_training.py -------------------------------------------------------------------------------- /scripts/width_architecture_series.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/scripts/width_architecture_series.py -------------------------------------------------------------------------------- /splitMIP.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/splitMIP.py -------------------------------------------------------------------------------- /tutorials/leaky_tutorial.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/tutorials/leaky_tutorial.ipynb -------------------------------------------------------------------------------- /tutorials/tutorial_1_neuralNets_data.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/tutorials/tutorial_1_neuralNets_data.ipynb -------------------------------------------------------------------------------- /tutorials/tutorial_2_lipMIP.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/tutorials/tutorial_2_lipMIP.ipynb -------------------------------------------------------------------------------- /tutorials/tutorial_3_other_methods.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/tutorials/tutorial_3_other_methods.ipynb -------------------------------------------------------------------------------- /utilities.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/utilities.py -------------------------------------------------------------------------------- /zonotope.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/zonotope.py -------------------------------------------------------------------------------- /zonotope_ia.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revbucket/lipMIP/HEAD/zonotope_ia.py --------------------------------------------------------------------------------