Here you find the source code used for the experiments reported in the paper "Fast and Stable Interval Bounds Propagation for Training Verifiably Robust Models" (preprint version: https://arxiv.org/abs/1906.00628). If you cite, please use:
@inproceedings{Morawiecki_IBP_2020,
title={Fast and Stable Interval Bounds Propagation for Training Verifiably Robust Models},
author={Morawiecki, Paweł and Spurek, Przemysław and Śmieja, Marek and Tabor, Jacek},
booktitle={Proceedings of the 28th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine
Learning},
year={2020}
}