Bound Propagation

Bound propagation for fully-connected neural networks in Pytorch. Supports: Interval Bound Propagation (IBP), CROWN, and CROWN-IBP. For bound propagation for Bayesian Neural Networks, see Bayne.

Source code: Github