# First three years of the international verification of neural networks competition (VNN-COMP)

> Research article (International Journal on Software Tools for Technology Transfer, 2023) · cited 55× · AI/ML

**Wikidata**: [openalex:W4381571085](https://www.wikidata.org/wiki/openalex:W4381571085)  
**Source**: https://4ort.xyz/entity/first-three-years-of-the-international-verification-of-neural-networks-competition-vnn-comp