BoundLab is a framework for building neural network verification tools, based on zonotopes & CROWN-like propagation.
Latest commits.
Builders behind this project.
