The goal of this repo is to showcase initial efforts towards building a set of functions to:
- calculate certificates
- checking the Lipschitness of neural network architectures
Sandboxv5 shows with concrete examples how to use the functions coded in the certificates_v5 python file.