VNN-LIB

The International Standard for the Verification of Neural Networks

Read the Standard Find a Solver

(vnnlib-version <2.0>)

; Network declaration
(declare-network f
    (declare-input  X float32 [2,2])
    (declare-output Y float32 [1])
)

; Input constraints
(assert (and (>= X[0,0] 0.0) (<= X[0,0] 1.0)))
(assert (and (>= X[0,1] 0.0) (<= X[0,1] 1.0)))
(assert (and (>= X[1,0] 0.0) (<= X[1,0] 1.0)))
(assert (and (>= X[1,1] 0.0) (<= X[1,1] 1.0)))

; Output constraints
(assert (or (<= Y[0] -3.0) (>= Y[0] 0.0)))

Introduction

What is VNN-LIB?

VNN-LIB is an open-source standard for automated solvers of satisfiability problems over neural networks. The goal of the standard is to foster interoperability in the neural network verification community.

Contributions and suggestions to the standard are welcome. If interested, please open an issue describing your proposal on the VNN-LIB Standard GitHub repository.

01

Formal syntax

Defines satisfiability queries in a shared, machine-readable format.

02

Formal semantics

Gives precise meaning to each query so tools interpret problems consistently.

03

Solver interface

Specifies a command-line interface for exchanging queries with solvers.

Latest News

Project Updates

June 2, 2026 VNNLIB-Python 1.0.2 and VNNLIB-CPP 1.0.1 released

May 25, 2026 VNNLIB-Agda 1.1.1 released

December 15, 2025 VNN-LIB 2.0 standard released, alongside VNNLIB-Python, VNNLIB-CPP, and VNNLIB-Agda 1.0.0

September 27, 2025 VNN-LIB 1.0 standard released

Team Members

The People behind VNN-LIB

Current Team

Matthew Daggitt

Matthew Daggitt

Lecturer | University of Western Australia

Andrea Gimelli

PhD Student | University of Genoa

Armando Tacchella

Armando Tacchella

Full Professor | University of Genoa

Past Members

Allen Anthony

Allen Anthony

Masters Student | University of Western Australia

Ann Roy

Ann Roy

Masters Student | University of Western Australia

Stefano Demarchi

Stefano Demarchi

Postdoctoral Researcher | University of Genoa

Luca Pulina

Luca Pulina

Full Professor | University of Sassari

Dario Guidotti

Dario Guidotti

Postdoctoral Researcher | University of Sassari