├── 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 /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/README.md -------------------------------------------------------------------------------- /examples/eval.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/examples/eval.py -------------------------------------------------------------------------------- /examples/language/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/examples/language/README.md -------------------------------------------------------------------------------- /examples/language/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/examples/language/config.py -------------------------------------------------------------------------------- /examples/language/data/character_substitution_enkey_sub1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/examples/language/data/character_substitution_enkey_sub1.json -------------------------------------------------------------------------------- /examples/language/data/sst_binary_character_vocabulary_sorted.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/examples/language/data/sst_binary_character_vocabulary_sorted.txt -------------------------------------------------------------------------------- /examples/language/data/sst_binary_character_vocabulary_sorted_pad.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/examples/language/data/sst_binary_character_vocabulary_sorted_pad.txt -------------------------------------------------------------------------------- /examples/language/exhaustive_verification.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/examples/language/exhaustive_verification.py -------------------------------------------------------------------------------- /examples/language/interactive_example.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/examples/language/interactive_example.py -------------------------------------------------------------------------------- /examples/language/models.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/examples/language/models.py -------------------------------------------------------------------------------- /examples/language/robust_model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/examples/language/robust_model.py -------------------------------------------------------------------------------- /examples/language/robust_train.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/examples/language/robust_train.py -------------------------------------------------------------------------------- /examples/language/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/examples/language/utils.py -------------------------------------------------------------------------------- /examples/train.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/examples/train.py -------------------------------------------------------------------------------- /interval_bound_propagation/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/interval_bound_propagation/__init__.py -------------------------------------------------------------------------------- /interval_bound_propagation/src/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/interval_bound_propagation/src/__init__.py -------------------------------------------------------------------------------- /interval_bound_propagation/src/attacks.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/interval_bound_propagation/src/attacks.py -------------------------------------------------------------------------------- /interval_bound_propagation/src/bounds.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/interval_bound_propagation/src/bounds.py -------------------------------------------------------------------------------- /interval_bound_propagation/src/crown.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/interval_bound_propagation/src/crown.py -------------------------------------------------------------------------------- /interval_bound_propagation/src/fastlin.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/interval_bound_propagation/src/fastlin.py -------------------------------------------------------------------------------- /interval_bound_propagation/src/layer_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/interval_bound_propagation/src/layer_utils.py -------------------------------------------------------------------------------- /interval_bound_propagation/src/layers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/interval_bound_propagation/src/layers.py -------------------------------------------------------------------------------- /interval_bound_propagation/src/loss.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/interval_bound_propagation/src/loss.py -------------------------------------------------------------------------------- /interval_bound_propagation/src/model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/interval_bound_propagation/src/model.py -------------------------------------------------------------------------------- /interval_bound_propagation/src/relative_bounds.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/interval_bound_propagation/src/relative_bounds.py -------------------------------------------------------------------------------- /interval_bound_propagation/src/simplex_bounds.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/interval_bound_propagation/src/simplex_bounds.py -------------------------------------------------------------------------------- /interval_bound_propagation/src/specification.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/interval_bound_propagation/src/specification.py -------------------------------------------------------------------------------- /interval_bound_propagation/src/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/interval_bound_propagation/src/utils.py -------------------------------------------------------------------------------- /interval_bound_propagation/src/verifiable_wrapper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/interval_bound_propagation/src/verifiable_wrapper.py -------------------------------------------------------------------------------- /interval_bound_propagation/tests/attacks_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/interval_bound_propagation/tests/attacks_test.py -------------------------------------------------------------------------------- /interval_bound_propagation/tests/bounds_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/interval_bound_propagation/tests/bounds_test.py -------------------------------------------------------------------------------- /interval_bound_propagation/tests/crown_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/interval_bound_propagation/tests/crown_test.py -------------------------------------------------------------------------------- /interval_bound_propagation/tests/fastlin_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/interval_bound_propagation/tests/fastlin_test.py -------------------------------------------------------------------------------- /interval_bound_propagation/tests/layers_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/interval_bound_propagation/tests/layers_test.py -------------------------------------------------------------------------------- /interval_bound_propagation/tests/loss_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/interval_bound_propagation/tests/loss_test.py -------------------------------------------------------------------------------- /interval_bound_propagation/tests/model_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/interval_bound_propagation/tests/model_test.py -------------------------------------------------------------------------------- /interval_bound_propagation/tests/relative_bounds_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/interval_bound_propagation/tests/relative_bounds_test.py -------------------------------------------------------------------------------- /interval_bound_propagation/tests/simplex_bounds_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/interval_bound_propagation/tests/simplex_bounds_test.py -------------------------------------------------------------------------------- /interval_bound_propagation/tests/specification_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/interval_bound_propagation/tests/specification_test.py -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/google-deepmind/interval-bound-propagation/HEAD/setup.py --------------------------------------------------------------------------------