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.