Skip to content

YuantianDing/BoundLab

Repository files navigation

BoundLab

BoundLab is a framework for building neural network verification tools. This documentation provides an overview of the framework, installation instructions, and detailed API references.

About

BoundLab is a framework for building neural network verification tools, based on zonotopes & CROWN-like propagation.

Resources

Contributing

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors