gitextract_yr8n0etx/ ├── .github/ │ └── ISSUE_TEMPLATE/ │ └── bug_report.md ├── .gitignore ├── .readthedocs.yaml ├── CONTRIBUTORS ├── LICENSE ├── README.md ├── auto_LiRPA/ │ ├── __init__.py │ ├── backward_bound.py │ ├── beta_crown.py │ ├── bound_general.py │ ├── bound_multi_gpu.py │ ├── bound_op_map.py │ ├── bound_ops.py │ ├── bounded_tensor.py │ ├── concretize_bounds.py │ ├── concretize_func.py │ ├── cuda/ │ │ ├── cuda_kernels.cu │ │ └── cuda_utils.cpp │ ├── cuda_utils.py │ ├── edit_graph.py │ ├── eps_scheduler.py │ ├── forward_bound.py │ ├── interval_bound.py │ ├── jacobian.py │ ├── linear_bound.py │ ├── operators/ │ │ ├── __init__.py │ │ ├── activation_base.py │ │ ├── activations.py │ │ ├── add_sub.py │ │ ├── base.py │ │ ├── bivariate.py │ │ ├── clampmult.py │ │ ├── constant.py │ │ ├── convex_concave.py │ │ ├── convolution.py │ │ ├── cut_ops.py │ │ ├── dropout.py │ │ ├── dtype.py │ │ ├── gelu.py │ │ ├── indexing.py │ │ ├── jacobian.py │ │ ├── leaf.py │ │ ├── linear.py │ │ ├── logical.py │ │ ├── minmax.py │ │ ├── normalization.py │ │ ├── pooling.py │ │ ├── reduce.py │ │ ├── relu.py │ │ ├── reshape.py │ │ ├── resize.py │ │ ├── rnn.py │ │ ├── s_shaped.py │ │ ├── shape.py │ │ ├── slice_concat.py │ │ ├── softmax.py │ │ ├── solver_utils.py │ │ ├── tile.py │ │ └── trigonometric.py │ ├── opt_pruner.py │ ├── optimize_graph.py │ ├── optimized_bounds.py │ ├── output_constraints.py │ ├── parse_graph.py │ ├── patches.py │ ├── perturbations.py │ ├── solver_module.py │ ├── tools.py │ ├── utils.py │ └── wrapper.py ├── doc/ │ ├── .gitignore │ ├── Makefile │ ├── README.md │ ├── api.rst │ ├── conf.py │ ├── index.rst │ └── process.py ├── examples/ │ ├── .gitignore │ ├── __init__.py │ ├── language/ │ │ ├── .gitignore │ │ ├── Transformer/ │ │ │ ├── Transformer.py │ │ │ ├── __init__.py │ │ │ ├── modeling.py │ │ │ └── utils.py │ │ ├── data_utils.py │ │ ├── language_utils.py │ │ ├── lstm.py │ │ ├── oracle.py │ │ ├── preprocess/ │ │ │ ├── pre_compute_lm_scores.py │ │ │ └── preprocess_sst.py │ │ └── train.py │ ├── sequence/ │ │ ├── .gitignore │ │ ├── __init__.py │ │ ├── data_utils.py │ │ ├── lstm.py │ │ └── train.py │ ├── simple/ │ │ ├── invprop.py │ │ ├── lp_full.py │ │ ├── mip_lp_solver.py │ │ ├── models/ │ │ │ └── spectral_NOR_MLP_B.pth │ │ └── toy.py │ └── vision/ │ ├── .gitignore │ ├── bound_option.py │ ├── cifar_training.py │ ├── custom_op.py │ ├── data/ │ │ ├── .gitignore │ │ ├── ImageNet64/ │ │ │ └── imagenet_data_loader.py │ │ └── tinyImageNet/ │ │ ├── .gitignore │ │ └── tinyimagenet_download.sh │ ├── datasets.py │ ├── efficient_convolution.py │ ├── imagenet_training.py │ ├── jacobian.py │ ├── models/ │ │ ├── __init__.py │ │ ├── densenet.py │ │ ├── densenet_imagenet.py │ │ ├── densenet_no_bn.py │ │ ├── feedforward.py │ │ ├── mobilenet.py │ │ ├── resnet.py │ │ ├── resnet18.py │ │ ├── resnext.py │ │ ├── resnext_imagenet64.py │ │ ├── vnncomp_resnet.py │ │ ├── wide_resnet_cifar.py │ │ └── wide_resnet_imagenet64.py │ ├── pretrained/ │ │ ├── cifar_2c2f.pth │ │ ├── kw_mnist.pth │ │ ├── mnist_a_adv.pth │ │ ├── mnist_cnn_small.pth │ │ ├── mnist_fc_3layer.pth │ │ └── test_min_max.pth │ ├── save_intermediate_bound.py │ ├── simple_training.py │ ├── simple_verification.py │ ├── tinyimagenet_training.py │ ├── verify_two_node.py │ └── weight_perturbation_training.py ├── setup.py └── tests/ ├── .gitignore ├── data/ │ ├── .gitignore │ ├── avgpool_test_data │ ├── beta_crown_test_data │ ├── bound_ops_data │ ├── ckpt_lstm │ ├── ckpt_transformer │ ├── constant_test_data │ ├── conv1d_test_data_3-0-2 │ ├── conv1d_test_data_3-0-3 │ ├── conv1d_test_data_3-1-2 │ ├── conv1d_test_data_3-1-3 │ ├── conv1d_test_data_4-0-2 │ ├── conv1d_test_data_4-0-3 │ ├── conv1d_test_data_4-1-2 │ ├── conv1d_test_data_4-1-3 │ ├── distinct_patches_test_data │ ├── invprop/ │ │ ├── ood.onnx │ │ ├── ood_reference │ │ └── simple_reference │ ├── jacobian_test_data │ ├── language_test_data │ ├── maxpool_test_data_3-0-3-0 │ ├── maxpool_test_data_3-0-3-1 │ ├── maxpool_test_data_3-1-3-0 │ ├── maxpool_test_data_3-1-3-1 │ ├── maxpool_test_data_4-0-4-0 │ ├── maxpool_test_data_4-0-4-1 │ ├── maxpool_test_data_4-1-4-0 │ ├── maxpool_test_data_4-1-4-1 │ ├── min_max_test_data │ ├── rectangle_patches_test_data │ ├── resnet_patches_test_data │ ├── s_shape_test_data │ ├── test_constrained_concretize │ ├── test_general_shape_data │ ├── test_perturbation_data │ ├── test_save_data │ ├── vision_clip_test_data │ ├── vision_test_data │ └── weight_perturbation_test_data ├── data_64/ │ ├── avgpool_test_data │ ├── bound_ops_data │ ├── constant_test_data │ ├── conv1d_test_data_3-0-2 │ ├── conv1d_test_data_3-0-3 │ ├── conv1d_test_data_3-1-2 │ ├── conv1d_test_data_3-1-3 │ ├── conv1d_test_data_4-0-2 │ ├── conv1d_test_data_4-0-3 │ ├── conv1d_test_data_4-1-2 │ ├── conv1d_test_data_4-1-3 │ ├── general_shape_data │ ├── invprop/ │ │ ├── ood_reference │ │ └── simple_reference │ ├── jacobian_test_data │ ├── maxpool_test_data_3-0-3-0 │ ├── maxpool_test_data_3-0-3-1 │ ├── maxpool_test_data_3-1-3-0 │ ├── maxpool_test_data_3-1-3-1 │ ├── maxpool_test_data_4-0-4-0 │ ├── maxpool_test_data_4-0-4-1 │ ├── maxpool_test_data_4-1-4-0 │ ├── maxpool_test_data_4-1-4-1 │ ├── min_max_test_data │ ├── rectangle_patches_test_data │ ├── resnet_patches_test_data │ ├── s_shape_test_data │ ├── test_constrained_concretize │ ├── test_general_shape_data │ ├── test_save_data │ ├── vision_clip_test_data │ ├── vision_test_data │ └── weight_perturbation_test_data ├── test_1d_activation.py ├── test_2d_activation.py ├── test_avgpool.py ├── test_bound_ops.py ├── test_branching_heuristics.py ├── test_clip_domains.py ├── test_constant.py ├── test_constrained_concretize.py ├── test_conv.py ├── test_conv1d.py ├── test_distinct_patches.py ├── test_examples.py ├── test_examples_ci.py ├── test_general_nonlinear.py ├── test_general_shape.py ├── test_identity.py ├── test_invprop.py ├── test_jacobian.py ├── test_language_models.py ├── test_linear_cnn_model.py ├── test_linear_model.py ├── test_maxpool.py ├── test_min_max.py ├── test_perturbation.py ├── test_rectangle_patches.py ├── test_resnet_patches.py ├── test_s_shaped.py ├── test_save_intermediate.py ├── test_simple_verification.py ├── test_state_dict_name.py ├── test_tensor_storage.py ├── test_upsample.py ├── test_vision_models.py ├── test_vision_models_hardtanh.py ├── test_weight_perturbation.py └── testcase.py