pyNeVer

Neural networks Verifier NeVer2 is a tool for the design, training and verification of neural networks. It supports feed-forward and residual neural networks with ReLU and activation functions. pyNeVer is the corresponding python package providing all the main capabilities of NeVer2 and can be easily installed using pip.

This documentation explains how to setup pyNeVer, shows examples using pyNeVer, provides API documentation, and explains how to contribute to pyNeVer.

NB: this documentation is in progress!

Getting started

• Installation and Setup

Usage

• Command-line interface
• API

API Documentation

• Networks
• Nodes
• Training
• Conversion
• Verification