Citing the standard
- Version 2.0 - VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification, A. Roy, A. Antony, A. Gimelli, and M.L. Daggitt, CAV 2026.
- Version 1.0 - Supporting Standardization of Neural Networks Verification with VNN-LIB and CoCoNet, S. Demarchi, D. Guidotti, L. Pulina and A. Tacchella, FoMLAS 2023.
| Document | Release date | Links |
|---|---|---|
| VNN-LIB 2.0 | December 15th 2025 | |
| VNN-LIB 1.0 | November 11th 2022 |
Specification document and grammar
The VNNLIB-Standard repository contains the source for the standard document, the formal grammar for VNNLIB queries, and the project history.