LICENSE
README.md
pyproject.toml
neuralsat.egg-info/PKG-INFO
neuralsat.egg-info/SOURCES.txt
neuralsat.egg-info/dependency_links.txt
neuralsat.egg-info/requires.txt
neuralsat.egg-info/top_level.txt
src/__init__.py
src/main.py
src/main_dec.py
src/setting.py
src/test.py
src/wrapper.py
src/abstractor/abstractor.py
src/abstractor/params.py
src/abstractor/utils.py
src/abstractor/auto_LiRPA/__init__.py
src/abstractor/auto_LiRPA/backward_bound.py
src/abstractor/auto_LiRPA/beta_crown.py
src/abstractor/auto_LiRPA/bound_general.py
src/abstractor/auto_LiRPA/bound_op_map.py
src/abstractor/auto_LiRPA/bound_ops.py
src/abstractor/auto_LiRPA/bounded_tensor.py
src/abstractor/auto_LiRPA/cuda_utils.py
src/abstractor/auto_LiRPA/edit_graph.py
src/abstractor/auto_LiRPA/forward_bound.py
src/abstractor/auto_LiRPA/interval_bound.py
src/abstractor/auto_LiRPA/linear_bound.py
src/abstractor/auto_LiRPA/optimize_graph.py
src/abstractor/auto_LiRPA/optimized_bounds.py
src/abstractor/auto_LiRPA/parse_graph.py
src/abstractor/auto_LiRPA/patches.py
src/abstractor/auto_LiRPA/perturbations.py
src/abstractor/auto_LiRPA/solver_module.py
src/abstractor/auto_LiRPA/stabilization.py
src/abstractor/auto_LiRPA/utils.py
src/abstractor/auto_LiRPA/operators/__init__.py
src/abstractor/auto_LiRPA/operators/activation_base.py
src/abstractor/auto_LiRPA/operators/activations.py
src/abstractor/auto_LiRPA/operators/add_sub.py
src/abstractor/auto_LiRPA/operators/base.py
src/abstractor/auto_LiRPA/operators/bivariate.py
src/abstractor/auto_LiRPA/operators/clampmult.py
src/abstractor/auto_LiRPA/operators/constant.py
src/abstractor/auto_LiRPA/operators/convex_concave.py
src/abstractor/auto_LiRPA/operators/convolution.py
src/abstractor/auto_LiRPA/operators/dropout.py
src/abstractor/auto_LiRPA/operators/dtype.py
src/abstractor/auto_LiRPA/operators/gelu.py
src/abstractor/auto_LiRPA/operators/indexing.py
src/abstractor/auto_LiRPA/operators/leaf.py
src/abstractor/auto_LiRPA/operators/linear.py
src/abstractor/auto_LiRPA/operators/logical.py
src/abstractor/auto_LiRPA/operators/minmax.py
src/abstractor/auto_LiRPA/operators/nonlinear.py
src/abstractor/auto_LiRPA/operators/normalization.py
src/abstractor/auto_LiRPA/operators/pooling.py
src/abstractor/auto_LiRPA/operators/reduce.py
src/abstractor/auto_LiRPA/operators/relu.py
src/abstractor/auto_LiRPA/operators/reshape.py
src/abstractor/auto_LiRPA/operators/resize.py
src/abstractor/auto_LiRPA/operators/rnn.py
src/abstractor/auto_LiRPA/operators/shape.py
src/abstractor/auto_LiRPA/operators/slice_concat.py
src/abstractor/auto_LiRPA/operators/softmax.py
src/abstractor/auto_LiRPA/operators/solver_utils.py
src/abstractor/auto_LiRPA/operators/tanh.py
src/abstractor/auto_LiRPA/operators/trigonometric.py
src/attacker/attacker.py
src/attacker/mip_attack.py
src/attacker/random_attack.py
src/attacker/pgd_attack/general.py
src/attacker/pgd_attack/util.py
src/configure/advanced.py
src/example/scripts/count_neurons.py
src/example/scripts/dummy.py
src/example/scripts/extract_filtered_instances.py
src/example/scripts/filter_instances.py
src/example/scripts/generate_instances_cifar10.py
src/example/scripts/generate_instances_mnistfc.py
src/example/scripts/generate_scripts.py
src/example/scripts/test_abstraction.py
src/example/scripts/test_arch.py
src/example/scripts/test_attack.py
src/example/scripts/test_decompose.py
src/example/scripts/test_function.py
src/example/scripts/test_gurobi.py
src/example/scripts/test_ig.py
src/example/scripts/test_model.py
src/example/scripts/test_profiler.py
src/example/scripts/test_rnn.py
src/example/scripts/test_solver.py
src/helper/misc/adam_clipping.py
src/helper/misc/check.py
src/helper/misc/error.py
src/helper/misc/export.py
src/helper/misc/logger.py
src/helper/misc/result.py
src/helper/misc/tensor_storage.py
src/helper/misc/torch_cuda_memory.py
src/helper/misc/tqdmm.py
src/helper/misc/utility.py
src/helper/network/read_onnx.py
src/helper/network/read_pth.py
src/helper/network/simplify_onnx.py
src/helper/network/onnx2pytorch/__init__.py
src/helper/network/onnx2pytorch/constants.py
src/helper/network/onnx2pytorch/helpers.py
src/helper/network/onnx2pytorch/utils.py
src/helper/network/onnx2pytorch/convert/__init__.py
src/helper/network/onnx2pytorch/convert/attribute.py
src/helper/network/onnx2pytorch/convert/debug.py
src/helper/network/onnx2pytorch/convert/layer.py
src/helper/network/onnx2pytorch/convert/model.py
src/helper/network/onnx2pytorch/convert/operations.py
src/helper/network/onnx2pytorch/operations/__init__.py
src/helper/network/onnx2pytorch/operations/add.py
src/helper/network/onnx2pytorch/operations/argmax.py
src/helper/network/onnx2pytorch/operations/base.py
src/helper/network/onnx2pytorch/operations/batchnorm.py
src/helper/network/onnx2pytorch/operations/bitshift.py
src/helper/network/onnx2pytorch/operations/cast.py
src/helper/network/onnx2pytorch/operations/clip.py
src/helper/network/onnx2pytorch/operations/constant.py
src/helper/network/onnx2pytorch/operations/constantofshape.py
src/helper/network/onnx2pytorch/operations/div.py
src/helper/network/onnx2pytorch/operations/expand.py
src/helper/network/onnx2pytorch/operations/gather.py
src/helper/network/onnx2pytorch/operations/gathernd.py
src/helper/network/onnx2pytorch/operations/globalaveragepool.py
src/helper/network/onnx2pytorch/operations/instancenorm.py
src/helper/network/onnx2pytorch/operations/loop.py
src/helper/network/onnx2pytorch/operations/lstm.py
src/helper/network/onnx2pytorch/operations/matmul.py
src/helper/network/onnx2pytorch/operations/nonmaxsuppression.py
src/helper/network/onnx2pytorch/operations/onehot.py
src/helper/network/onnx2pytorch/operations/pad.py
src/helper/network/onnx2pytorch/operations/prelu.py
src/helper/network/onnx2pytorch/operations/range.py
src/helper/network/onnx2pytorch/operations/reducesum.py
src/helper/network/onnx2pytorch/operations/reshape.py
src/helper/network/onnx2pytorch/operations/resize.py
src/helper/network/onnx2pytorch/operations/scatter.py
src/helper/network/onnx2pytorch/operations/scatterelements.py
src/helper/network/onnx2pytorch/operations/scatternd.py
src/helper/network/onnx2pytorch/operations/shape.py
src/helper/network/onnx2pytorch/operations/slice.py
src/helper/network/onnx2pytorch/operations/split.py
src/helper/network/onnx2pytorch/operations/squeeze.py
src/helper/network/onnx2pytorch/operations/thresholdedrelu.py
src/helper/network/onnx2pytorch/operations/tile.py
src/helper/network/onnx2pytorch/operations/topk.py
src/helper/network/onnx2pytorch/operations/transpose.py
src/helper/network/onnx2pytorch/operations/unsqueeze.py
src/helper/network/onnx2pytorch/operations/where.py
src/helper/proof/create_aptp.py
src/helper/proof/reasoning_domains.py
src/helper/spec/objective.py
src/helper/spec/read_vnnlib.py
src/helper/spec/spec_vnnlib.py
src/helper/spec/write_vnnlib.py
src/heuristic/decision_heuristics.py
src/heuristic/decompose_heuristics.py
src/heuristic/domains_list.py
src/heuristic/ig.py
src/heuristic/restart_heuristics.py
src/heuristic/sat_solver.py
src/heuristic/util.py
src/tightener/cpu_tightener.py
src/tightener/gpu_tightener.py
src/tightener/utils.py
src/train/config/cifar10_3.yaml
src/train/config/cifar10_3_1.yaml
src/train/config/cifar10_3_2.yaml
src/train/config/cifar10_3_3.yaml
src/train/config/cifar10_3_4.yaml
src/train/config/cifar10_4.yaml
src/train/config/cifar10_4_1.yaml
src/train/config/cifar10_4_2.yaml
src/train/config/cifar10_toy.yaml
src/train/config/vae_base.yaml
src/train/models/fc/mnistfc.py
src/train/models/resnet/resnet.py
src/train/models/resnet/resnet_utils.py
src/train/models/rnn/mnist.py
src/train/models/vae/blocks.py
src/train/models/vae/cnn.py
src/train/models/vae/discriminator.py
src/train/models/vae/lpips.py
src/train/models/vae/vae.py
src/train/models/vae/vae_naive.py
src/train/models/vit/vit.py
src/train/models/vit_old/cct.py
src/train/models/vit_old/vit.py
src/train/models/vit_old/vit_utils.py
src/train/scheduler/__init__.py
src/train/scheduler/linear_noise_scheduler.py
src/train/scripts/generate_instances_cifar10.py
src/train/scripts/generate_instances_mnist_rnn.py
src/train/scripts/infer_classification.py
src/train/scripts/infer_recon.py
src/train/scripts/train_classification.py
src/train/scripts/train_mnist.py
src/train/scripts/train_recon.py
src/train/scripts/train_ref.py
src/train/scripts/train_rnn_mnist.py
src/train/timm/__init__.py
src/train/timm/version.py
src/train/timm/data/__init__.py
src/train/timm/data/auto_augment.py
src/train/timm/data/config.py
src/train/timm/data/constants.py
src/train/timm/data/dataset.py
src/train/timm/data/dataset_factory.py
src/train/timm/data/dataset_info.py
src/train/timm/data/distributed_sampler.py
src/train/timm/data/imagenet_info.py
src/train/timm/data/loader.py
src/train/timm/data/mixup.py
src/train/timm/data/random_erasing.py
src/train/timm/data/real_labels.py
src/train/timm/data/tf_preprocessing.py
src/train/timm/data/transforms.py
src/train/timm/data/transforms_factory.py
src/train/timm/data/readers/__init__.py
src/train/timm/data/readers/class_map.py
src/train/timm/data/readers/img_extensions.py
src/train/timm/data/readers/reader.py
src/train/timm/data/readers/reader_factory.py
src/train/timm/data/readers/reader_hfds.py
src/train/timm/data/readers/reader_hfids.py
src/train/timm/data/readers/reader_image_folder.py
src/train/timm/data/readers/reader_image_in_tar.py
src/train/timm/data/readers/reader_image_tar.py
src/train/timm/data/readers/reader_tfds.py
src/train/timm/data/readers/reader_wds.py
src/train/timm/data/readers/shared_count.py
src/train/timm/layers/__init__.py
src/train/timm/layers/activations.py
src/train/timm/layers/activations_me.py
src/train/timm/layers/adaptive_avgmax_pool.py
src/train/timm/layers/attention2d.py
src/train/timm/layers/attention_pool.py
src/train/timm/layers/attention_pool2d.py
src/train/timm/layers/blur_pool.py
src/train/timm/layers/bottleneck_attn.py
src/train/timm/layers/cbam.py
src/train/timm/layers/classifier.py
src/train/timm/layers/cond_conv2d.py
src/train/timm/layers/config.py
src/train/timm/layers/conv2d_same.py
src/train/timm/layers/conv_bn_act.py
src/train/timm/layers/create_act.py
src/train/timm/layers/create_attn.py
src/train/timm/layers/create_conv2d.py
src/train/timm/layers/create_norm.py
src/train/timm/layers/create_norm_act.py
src/train/timm/layers/drop.py
src/train/timm/layers/eca.py
src/train/timm/layers/evo_norm.py
src/train/timm/layers/fast_norm.py
src/train/timm/layers/filter_response_norm.py
src/train/timm/layers/format.py
src/train/timm/layers/gather_excite.py
src/train/timm/layers/global_context.py
src/train/timm/layers/grid.py
src/train/timm/layers/grn.py
src/train/timm/layers/halo_attn.py
src/train/timm/layers/helpers.py
src/train/timm/layers/hybrid_embed.py
src/train/timm/layers/inplace_abn.py
src/train/timm/layers/interpolate.py
src/train/timm/layers/lambda_layer.py
src/train/timm/layers/linear.py
src/train/timm/layers/median_pool.py
src/train/timm/layers/mixed_conv2d.py
src/train/timm/layers/ml_decoder.py
src/train/timm/layers/mlp.py
src/train/timm/layers/non_local_attn.py
src/train/timm/layers/norm.py
src/train/timm/layers/norm_act.py
src/train/timm/layers/padding.py
src/train/timm/layers/patch_dropout.py
src/train/timm/layers/patch_embed.py
src/train/timm/layers/pool2d_same.py
src/train/timm/layers/pos_embed.py
src/train/timm/layers/pos_embed_rel.py
src/train/timm/layers/pos_embed_sincos.py
src/train/timm/layers/selective_kernel.py
src/train/timm/layers/separable_conv.py
src/train/timm/layers/space_to_depth.py
src/train/timm/layers/split_attn.py
src/train/timm/layers/split_batchnorm.py
src/train/timm/layers/squeeze_excite.py
src/train/timm/layers/std_conv.py
src/train/timm/layers/test_time_pool.py
src/train/timm/layers/trace_utils.py
src/train/timm/layers/typing.py
src/train/timm/layers/weight_init.py
src/train/timm/loss/__init__.py
src/train/timm/loss/asymmetric_loss.py
src/train/timm/loss/binary_cross_entropy.py
src/train/timm/loss/cross_entropy.py
src/train/timm/loss/jsd.py
src/train/timm/models/__init__.py
src/train/timm/models/_builder.py
src/train/timm/models/_efficientnet_blocks.py
src/train/timm/models/_efficientnet_builder.py
src/train/timm/models/_factory.py
src/train/timm/models/_features.py
src/train/timm/models/_features_fx.py
src/train/timm/models/_helpers.py
src/train/timm/models/_hub.py
src/train/timm/models/_manipulate.py
src/train/timm/models/_pretrained.py
src/train/timm/models/_prune.py
src/train/timm/models/_registry.py
src/train/timm/models/beit.py
src/train/timm/models/byoanet.py
src/train/timm/models/byobnet.py
src/train/timm/models/cait.py
src/train/timm/models/coat.py
src/train/timm/models/convit.py
src/train/timm/models/convmixer.py
src/train/timm/models/convnext.py
src/train/timm/models/crossvit.py
src/train/timm/models/cspnet.py
src/train/timm/models/davit.py
src/train/timm/models/deit.py
src/train/timm/models/densenet.py
src/train/timm/models/dla.py
src/train/timm/models/dpn.py
src/train/timm/models/edgenext.py
src/train/timm/models/efficientformer.py
src/train/timm/models/efficientformer_v2.py
src/train/timm/models/efficientnet.py
src/train/timm/models/efficientvit_mit.py
src/train/timm/models/efficientvit_msra.py
src/train/timm/models/eva.py
src/train/timm/models/factory.py
src/train/timm/models/fastvit.py
src/train/timm/models/features.py
src/train/timm/models/focalnet.py
src/train/timm/models/fx_features.py
src/train/timm/models/gcvit.py
src/train/timm/models/ghostnet.py
src/train/timm/models/hardcorenas.py
src/train/timm/models/helpers.py
src/train/timm/models/hgnet.py
src/train/timm/models/hiera.py
src/train/timm/models/hrnet.py
src/train/timm/models/hub.py
src/train/timm/models/inception_next.py
src/train/timm/models/inception_resnet_v2.py
src/train/timm/models/inception_v3.py
src/train/timm/models/inception_v4.py
src/train/timm/models/levit.py
src/train/timm/models/maxxvit.py
src/train/timm/models/metaformer.py
src/train/timm/models/mlp_mixer.py
src/train/timm/models/mobilenetv3.py
src/train/timm/models/mobilevit.py
src/train/timm/models/mvitv2.py
src/train/timm/models/nasnet.py
src/train/timm/models/nest.py
src/train/timm/models/nextvit.py
src/train/timm/models/nfnet.py
src/train/timm/models/pit.py
src/train/timm/models/pnasnet.py
src/train/timm/models/pvt_v2.py
src/train/timm/models/rdnet.py
src/train/timm/models/registry.py
src/train/timm/models/regnet.py
src/train/timm/models/repghost.py
src/train/timm/models/repvit.py
src/train/timm/models/res2net.py
src/train/timm/models/resnest.py
src/train/timm/models/resnet.py
src/train/timm/models/resnetv2.py
src/train/timm/models/rexnet.py
src/train/timm/models/selecsls.py
src/train/timm/models/senet.py
src/train/timm/models/sequencer.py
src/train/timm/models/sknet.py
src/train/timm/models/swin_transformer.py
src/train/timm/models/swin_transformer_v2.py
src/train/timm/models/swin_transformer_v2_cr.py
src/train/timm/models/tiny_vit.py
src/train/timm/models/tnt.py
src/train/timm/models/tresnet.py
src/train/timm/models/twins.py
src/train/timm/models/vgg.py
src/train/timm/models/visformer.py
src/train/timm/models/vision_transformer.py
src/train/timm/models/vision_transformer_hybrid.py
src/train/timm/models/vision_transformer_relpos.py
src/train/timm/models/vision_transformer_sam.py
src/train/timm/models/vitamin.py
src/train/timm/models/volo.py
src/train/timm/models/vovnet.py
src/train/timm/models/xception.py
src/train/timm/models/xception_aligned.py
src/train/timm/models/xcit.py
src/train/timm/models/layers/__init__.py
src/train/timm/optim/__init__.py
src/train/timm/optim/adabelief.py
src/train/timm/optim/adafactor.py
src/train/timm/optim/adahessian.py
src/train/timm/optim/adamp.py
src/train/timm/optim/adamw.py
src/train/timm/optim/adan.py
src/train/timm/optim/lamb.py
src/train/timm/optim/lars.py
src/train/timm/optim/lion.py
src/train/timm/optim/lookahead.py
src/train/timm/optim/madgrad.py
src/train/timm/optim/nadam.py
src/train/timm/optim/nadamw.py
src/train/timm/optim/nvnovograd.py
src/train/timm/optim/optim_factory.py
src/train/timm/optim/radam.py
src/train/timm/optim/rmsprop_tf.py
src/train/timm/optim/sgdp.py
src/train/timm/optim/sgdw.py
src/train/timm/scheduler/__init__.py
src/train/timm/scheduler/cosine_lr.py
src/train/timm/scheduler/multistep_lr.py
src/train/timm/scheduler/plateau_lr.py
src/train/timm/scheduler/poly_lr.py
src/train/timm/scheduler/scheduler.py
src/train/timm/scheduler/scheduler_factory.py
src/train/timm/scheduler/step_lr.py
src/train/timm/scheduler/tanh_lr.py
src/train/timm/utils/__init__.py
src/train/timm/utils/agc.py
src/train/timm/utils/attention_extract.py
src/train/timm/utils/checkpoint_saver.py
src/train/timm/utils/clip_grad.py
src/train/timm/utils/cuda.py
src/train/timm/utils/decay_batch.py
src/train/timm/utils/distributed.py
src/train/timm/utils/jit.py
src/train/timm/utils/log.py
src/train/timm/utils/metrics.py
src/train/timm/utils/misc.py
src/train/timm/utils/model.py
src/train/timm/utils/model_ema.py
src/train/timm/utils/onnx.py
src/train/timm/utils/random.py
src/train/timm/utils/summary.py
src/verifier/dec_utils.py
src/verifier/dec_verifier.py
src/verifier/mip_solver.py
src/verifier/utils.py
src/verifier/verifier.py