The international benchmarks standard for the Verification of Neural Networks
Networks An open format built to represent machine learning models.
Properties An international initiative aimed at facilitating research and development in Satisfiability Modulo Theories (SMT).
Tool A tool for construction and conversion of neural networks across different standards.
Benchmarks Our benchmarks repository from current research case studies.
Benchmarks The benchmarks repository of the VNN competition - 2023.
Contribution Repository for submitting issues and start discussions about VNN-LIB.
Full Professor | UniGE
Full Professor | UniSS
Post-Doc Researcher | UniSS
Post-Doc Researcher | UniGE