.gitignore
.pre-commit-config.yaml
LICENSE
README.md
pyproject.toml
tox.ini
.github/workflows/build-doc.yml
.github/workflows/deploy-doc.yml
.github/workflows/python-publish.yml
.github/workflows/python-tests.yml
binder/environment.yml
binder/postBuild
binder/tensorboardserverextension.py
docs/README.md
docs/generate_nb_index.py
docs/requirements.txt
docs/source/conf.py
docs/source/contribute.md
docs/source/getting_started.md
docs/source/index.md
docs/source/install.md
docs/source/tutorials.template.md
docs/source/_static/banner.jpg
docs/source/_static/versions.js
docs/source/_templates/versions.html
docs/source/api/modules.md
scripts/md2py.py
scripts/trigger_binder.sh
src/decomon/__init__.py
src/decomon/core.py
src/decomon/keras_utils.py
src/decomon/utils.py
src/decomon/wrapper.py
src/decomon/wrapper_with_tuning.py
src/decomon.egg-info/PKG-INFO
src/decomon.egg-info/SOURCES.txt
src/decomon.egg-info/dependency_links.txt
src/decomon.egg-info/requires.txt
src/decomon.egg-info/top_level.txt
src/decomon/backward_layers/__init__.py
src/decomon/backward_layers/activations.py
src/decomon/backward_layers/backward_layers.py
src/decomon/backward_layers/backward_maxpooling.py
src/decomon/backward_layers/backward_merge.py
src/decomon/backward_layers/backward_reshape.py
src/decomon/backward_layers/convert.py
src/decomon/backward_layers/core.py
src/decomon/backward_layers/deel_lip.py
src/decomon/backward_layers/utils.py
src/decomon/backward_layers/utils_conv.py
src/decomon/layers/__init__.py
src/decomon/layers/activations.py
src/decomon/layers/convert.py
src/decomon/layers/core.py
src/decomon/layers/decomon_layers.py
src/decomon/layers/decomon_merge_layers.py
src/decomon/layers/decomon_reshape.py
src/decomon/layers/deel_lip.py
src/decomon/layers/maxpooling.py
src/decomon/layers/utils.py
src/decomon/layers/utils_pooling.py
src/decomon/metrics/__init__.py
src/decomon/metrics/complexity.py
src/decomon/metrics/loss.py
src/decomon/metrics/metric.py
src/decomon/metrics/utils.py
src/decomon/models/__init__.py
src/decomon/models/backward_cloning.py
src/decomon/models/convert.py
src/decomon/models/crown.py
src/decomon/models/forward_cloning.py
src/decomon/models/models.py
src/decomon/models/utils.py
src/decomon/types/__init__.py
tests/conftest.py
tests/test_activation.py
tests/test_backward_activation.py
tests/test_backward_conv.py
tests/test_backward_dense.py
tests/test_backward_layers.py
tests/test_backward_layers_get_config.py
tests/test_backward_native_layers.py
tests/test_backward_utils.py
tests/test_clone.py
tests/test_clone_backward.py
tests/test_clone_forward.py
tests/test_conv.py
tests/test_crown_layers_get_config.py
tests/test_decomon_activation_layer.py
tests/test_decomon_reset_layer.py
tests/test_dense_layer.py
tests/test_import_all_submodules.py
tests/test_keras_utils.py
tests/test_layers_get_config.py
tests/test_merge.py
tests/test_metric.py
tests/test_metrics_get_config.py
tests/test_models_utils.py
tests/test_pooling.py
tests/test_preprocess_keras_model.py
tests/test_reshape.py
tests/test_to_decomon.py
tests/test_utils.py
tests/test_utils_conv.py
tests/test_utils_pooling.py
tests/test_wrapper.py
tests/lirpa_comparison/mnist_relu_3_50_comparison.onnx
tests/lirpa_comparison/test_comparison_lirpa.py
tests/notebooks/LIRPA_comparison_CNN.ipynb
tests/notebooks/LIRPA_comparison_fully_connected-l2.ipynb
tests/notebooks/LIRPA_comparison_fully_connected.ipynb
tests/notebooks/LirpaSoftSign.ipynb
tests/notebooks/Lirpa_FULLSORT.ipynb
tests/notebooks/Lirpa_ReLU.ipynb
tests/notebooks/Lirpa_SORT.ipynb
tests/notebooks/Lirpa_Sigmoid.ipynb
tests/notebooks/Lirpa_Softsign.ipynb
tests/notebooks/Lirpa_Tanh.ipynb
tutorials/tutorial1_sinus-interactive.ipynb
tutorials/tutorial2_noise_sensor.ipynb
tutorials/tutorial3_adversarial_attack.ipynb
tutorials/tutorial4_certified_over_estimation.ipynb
tutorials/data/Plot-of-a-Subset-of-Images-from-the-MNIST-Dataset.png
tutorials/data/ball_fm.png
tutorials/data/decomon.jpg
tutorials/data/decomon.png
tutorials/data/illustration_adv_attacks.jpeg
tutorials/data/sinusoide_fail.png
tutorials/data/tuto_3_formal_robustness.png
tutorials/usecase/img/cesna_c_172.jpeg
tutorials/usecase/img/safe_model.png
tutorials/usecase/img/safe_surrogate.png
tutorials/z_Advanced/tensorboard-and-decomon.ipynb