VNN-LIB is an international initiative whose aim is to encourage collaboration and facilitate research and development in Verification of Neural Networks (VNN).
The goals of VNN-LIB are:
- Develop a cohesive community around VNN by connecting developers and researchers working in this domain.
- Establish a common format for the exchange of Neural Networks and their properties.
- Provide the community with a library of established common benchmarks for VNN tools.
- Provide and maintain a common repository for tools and resources useful to the VNN community.
The initiative and this site are still in their embryonal stages: your collaboration is essential to grow and improve VNN-LIB, so do not hesitate to send us feedback, comments and suggestions.