Welcome to VNN-LIB!

An international initiative whose aim is to encourage collaboration and facilitate research and development in Verification of Neural Networks (VNN)

...

A standard for VNN benchmarks

ONNX

ONNX is an open format built to represent machine learning models. ONNX defines a common set of operators and a common file format to enable AI developers to use models with a variety of frameworks, tools, runtimes, and compilers.

SMT-LIB

SMT-LIB is an international initiative aimed at facilitating research and development in Satisfiability Modulo Theories (SMT).

CoCoNet

CoCoNet is a tool for construction and conversion of neural networks across different standards, written in Python and relying on the pyNeVer API.

VNN-COMP

The Verification of Neural Networks Competition (VNN-COMP) aims to bring together researchers interested in methods and tools providing guarantees about the behaviours of neural networks and systems built from them.