Linear and interval bound propagation in Pytorch with easy-to-use API and GPU support.
Primary LanguagePythonGNU General Public License v3.0GPL-3.0