gitextract_zmfehsxp/

├── CONTRIBUTING.md
├── LICENSE
├── README.md
├── examples/
│   ├── eval.py
│   ├── language/
│   │   ├── README.md
│   │   ├── config.py
│   │   ├── data/
│   │   │   ├── character_substitution_enkey_sub1.json
│   │   │   ├── sst_binary_character_vocabulary_sorted.txt
│   │   │   └── sst_binary_character_vocabulary_sorted_pad.txt
│   │   ├── exhaustive_verification.py
│   │   ├── interactive_example.py
│   │   ├── models.py
│   │   ├── robust_model.py
│   │   ├── robust_train.py
│   │   └── utils.py
│   └── train.py
├── interval_bound_propagation/
│   ├── __init__.py
│   ├── src/
│   │   ├── __init__.py
│   │   ├── attacks.py
│   │   ├── bounds.py
│   │   ├── crown.py
│   │   ├── fastlin.py
│   │   ├── layer_utils.py
│   │   ├── layers.py
│   │   ├── loss.py
│   │   ├── model.py
│   │   ├── relative_bounds.py
│   │   ├── simplex_bounds.py
│   │   ├── specification.py
│   │   ├── utils.py
│   │   └── verifiable_wrapper.py
│   └── tests/
│       ├── attacks_test.py
│       ├── bounds_test.py
│       ├── crown_test.py
│       ├── fastlin_test.py
│       ├── layers_test.py
│       ├── loss_test.py
│       ├── model_test.py
│       ├── relative_bounds_test.py
│       ├── simplex_bounds_test.py
│       └── specification_test.py
└── setup.py