bound-propagation
Linear and interval bound propagation in Pytorch with easy-to-use API and GPU support.