LICENSE
README.md
pyproject.toml
setup.py
CTRAIN/__init__.py
CTRAIN.egg-info/PKG-INFO
CTRAIN.egg-info/SOURCES.txt
CTRAIN.egg-info/dependency_links.txt
CTRAIN.egg-info/requires.txt
CTRAIN.egg-info/top_level.txt
CTRAIN/attacks/__init__.py
CTRAIN/attacks/pgd.py
CTRAIN/bound/__init__.py
CTRAIN/bound/crown.py
CTRAIN/bound/ibp.py
CTRAIN/bound/sabr.py
CTRAIN/bound/taps.py
CTRAIN/complete_verification/__init__.py
CTRAIN/complete_verification/abCROWN/__init__.py
CTRAIN/complete_verification/abCROWN/runner.py
CTRAIN/complete_verification/abCROWN/util.py
CTRAIN/complete_verification/abCROWN/verify.py
CTRAIN/data_loaders/__init__.py
CTRAIN/data_loaders/data_loaders.py
CTRAIN/data_loaders/preprocess_tinyimagenet.py
CTRAIN/eval/__init__.py
CTRAIN/eval/eval.py
CTRAIN/model_definitions/__init__.py
CTRAIN/model_definitions/models_gowal.py
CTRAIN/model_definitions/models_shi.py
CTRAIN/model_wrappers/__init__.py
CTRAIN/model_wrappers/configs.py
CTRAIN/model_wrappers/crown_ibp_model_wrapper.py
CTRAIN/model_wrappers/hpo_model_wrapper.py
CTRAIN/model_wrappers/model_wrapper.py
CTRAIN/model_wrappers/mtl_ibp_model_wrapper.py
CTRAIN/model_wrappers/sabr_model_wrapper.py
CTRAIN/model_wrappers/shi_ibp_model_wrapper.py
CTRAIN/model_wrappers/staps_model_wrapper.py
CTRAIN/model_wrappers/taps_model_wrapper.py
CTRAIN/train/__init__.py
CTRAIN/train/adversarial/__init__.py
CTRAIN/train/adversarial/adversarial_training.py
CTRAIN/train/adversarial/losses/__init__.py
CTRAIN/train/adversarial/losses/pgd.py
CTRAIN/train/certified/__init__.py
CTRAIN/train/certified/eps_scheduler.py
CTRAIN/train/certified/certified_training/__init__.py
CTRAIN/train/certified/certified_training/crown_ibp.py
CTRAIN/train/certified/certified_training/ibp.py
CTRAIN/train/certified/certified_training/mtl_ibp.py
CTRAIN/train/certified/certified_training/sabr.py
CTRAIN/train/certified/certified_training/shi_ibp.py
CTRAIN/train/certified/certified_training/staps.py
CTRAIN/train/certified/certified_training/taps.py
CTRAIN/train/certified/certified_training/util.py
CTRAIN/train/certified/initialisation/__init__.py
CTRAIN/train/certified/initialisation/shi.py
CTRAIN/train/certified/losses/__init__.py
CTRAIN/train/certified/losses/convex_combinations.py
CTRAIN/train/certified/losses/crown_ibp.py
CTRAIN/train/certified/losses/ibp.py
CTRAIN/train/certified/losses/sabr.py
CTRAIN/train/certified/losses/taps.py
CTRAIN/train/certified/losses/util.py
CTRAIN/train/certified/regularisers/__init__.py
CTRAIN/train/certified/regularisers/l1.py
CTRAIN/train/certified/regularisers/shi.py
CTRAIN/util/__init__.py
CTRAIN/util/util.py
CTRAIN/util/visualisation.py
CTRAIN/verification_systems/__init__.py
CTRAIN/verification_systems/abCROWN/LICENSE
CTRAIN/verification_systems/abCROWN/README.md
CTRAIN/verification_systems/abCROWN/__init__.py
CTRAIN/verification_systems/abCROWN/complete_verifier/__init__.py
CTRAIN/verification_systems/abCROWN/complete_verifier/abcrown.py
CTRAIN/verification_systems/abCROWN/complete_verifier/alpha.py
CTRAIN/verification_systems/abCROWN/complete_verifier/arguments.py
CTRAIN/verification_systems/abCROWN/complete_verifier/bab.py
CTRAIN/verification_systems/abCROWN/complete_verifier/beta.py
CTRAIN/verification_systems/abCROWN/complete_verifier/beta_CROWN_solver.py
CTRAIN/verification_systems/abCROWN/complete_verifier/branching_domains.py
CTRAIN/verification_systems/abCROWN/complete_verifier/data_utils.py
CTRAIN/verification_systems/abCROWN/complete_verifier/domain_updater.py
CTRAIN/verification_systems/abCROWN/complete_verifier/jit_precompile.py
CTRAIN/verification_systems/abCROWN/complete_verifier/load_model.py
CTRAIN/verification_systems/abCROWN/complete_verifier/loading.py
CTRAIN/verification_systems/abCROWN/complete_verifier/lp_mip_solver.py
CTRAIN/verification_systems/abCROWN/complete_verifier/lp_test.py
CTRAIN/verification_systems/abCROWN/complete_verifier/model_defs.py
CTRAIN/verification_systems/abCROWN/complete_verifier/onnx_opt.py
CTRAIN/verification_systems/abCROWN/complete_verifier/prune.py
CTRAIN/verification_systems/abCROWN/complete_verifier/read_vnnlib.py
CTRAIN/verification_systems/abCROWN/complete_verifier/scip_model.py
CTRAIN/verification_systems/abCROWN/complete_verifier/specifications.py
CTRAIN/verification_systems/abCROWN/complete_verifier/tensor_storage.py
CTRAIN/verification_systems/abCROWN/complete_verifier/utils.py
CTRAIN/verification_systems/abCROWN/complete_verifier/vnncomp_main.py
CTRAIN/verification_systems/abCROWN/complete_verifier/attack/__init__.py
CTRAIN/verification_systems/abCROWN/complete_verifier/attack/adv_domains.py
CTRAIN/verification_systems/abCROWN/complete_verifier/attack/attack_pgd.py
CTRAIN/verification_systems/abCROWN/complete_verifier/attack/bab_attack.py
CTRAIN/verification_systems/abCROWN/complete_verifier/attack/domains.py
CTRAIN/verification_systems/abCROWN/complete_verifier/attack/general_spec_attack.py
CTRAIN/verification_systems/abCROWN/complete_verifier/custom/__init__.py
CTRAIN/verification_systems/abCROWN/complete_verifier/custom/custom_adv_example_finalizer.py
CTRAIN/verification_systems/abCROWN/complete_verifier/custom/custom_adv_saver.py
CTRAIN/verification_systems/abCROWN/complete_verifier/custom/custom_attacker.py
CTRAIN/verification_systems/abCROWN/complete_verifier/custom/custom_early_stop_condition.py
CTRAIN/verification_systems/abCROWN/complete_verifier/custom/custom_graph_optimizer.py
CTRAIN/verification_systems/abCROWN/complete_verifier/custom/custom_model_data.py
CTRAIN/verification_systems/abCROWN/complete_verifier/custom/custom_model_loader.py
CTRAIN/verification_systems/abCROWN/complete_verifier/custom/custom_nn4sys_verification.py
CTRAIN/verification_systems/abCROWN/complete_verifier/custom/custom_op.py
CTRAIN/verification_systems/abCROWN/complete_verifier/custom/custom_op_general_activation.py
CTRAIN/verification_systems/abCROWN/complete_verifier/custom/custom_pgd_loss.py
CTRAIN/verification_systems/abCROWN/complete_verifier/custom/custom_specs_model.py
CTRAIN/verification_systems/abCROWN/complete_verifier/custom/custom_yolo_CCTSDB_verification.py
CTRAIN/verification_systems/abCROWN/complete_verifier/cuts/__init__.py
CTRAIN/verification_systems/abCROWN/complete_verifier/cuts/cut_utils.py
CTRAIN/verification_systems/abCROWN/complete_verifier/cuts/cut_verification.py
CTRAIN/verification_systems/abCROWN/complete_verifier/cuts/cutter.py
CTRAIN/verification_systems/abCROWN/complete_verifier/cuts/implication_graph.py
CTRAIN/verification_systems/abCROWN/complete_verifier/heuristics/__init__.py
CTRAIN/verification_systems/abCROWN/complete_verifier/heuristics/babsr.py
CTRAIN/verification_systems/abCROWN/complete_verifier/heuristics/base.py
CTRAIN/verification_systems/abCROWN/complete_verifier/heuristics/branching_heuristics.py
CTRAIN/verification_systems/abCROWN/complete_verifier/heuristics/fsb.py
CTRAIN/verification_systems/abCROWN/complete_verifier/heuristics/kfsb.py
CTRAIN/verification_systems/abCROWN/complete_verifier/heuristics/utils.py
CTRAIN/verification_systems/abCROWN/complete_verifier/heuristics/nonlinear/__init__.py
CTRAIN/verification_systems/abCROWN/complete_verifier/heuristics/nonlinear/babsr.py
CTRAIN/verification_systems/abCROWN/complete_verifier/heuristics/nonlinear/bbps.py
CTRAIN/verification_systems/abCROWN/complete_verifier/heuristics/nonlinear/utils.py
CTRAIN/verification_systems/abCROWN/complete_verifier/input_split/__init__.py
CTRAIN/verification_systems/abCROWN/complete_verifier/input_split/alpha.py
CTRAIN/verification_systems/abCROWN/complete_verifier/input_split/attack.py
CTRAIN/verification_systems/abCROWN/complete_verifier/input_split/batch_branch_and_bound.py
CTRAIN/verification_systems/abCROWN/complete_verifier/input_split/bounding.py
CTRAIN/verification_systems/abCROWN/complete_verifier/input_split/branching_domains.py
CTRAIN/verification_systems/abCROWN/complete_verifier/input_split/branching_heuristics.py
CTRAIN/verification_systems/abCROWN/complete_verifier/input_split/input_split_on_relu_domains.py
CTRAIN/verification_systems/abCROWN/complete_verifier/input_split/split.py