Automated verification of neural networks, machine learned and standard programs.
Tool 2.0.2 A tool for learning and verification of neural networks.
API 1.2.5 Documentation A Python library for learning and verification of neural networks and other machine learning models.
Standard An international initiative whose aim is to encourage collaboration and facilitate research and development in Verification of Neural Networks (VNN).
This is the home page of neuralverification.org, an initiative of researchers from University of Genoa, University of Sassari and University of Kent.
The aim of the initiative is to develop tools to verify neural networks and other machine learned programs as well as standard, i.e., manually written, code.
S. Demarchi, D. Guidotti, L. Pulina and A. Tacchella
S. Demarchi, A. Gimelli and A. Tacchella
S. Demarchi, D. Guidotti, L. Pulina and A. Tacchella
S. Demarchi
D. Guidotti, S. Demarchi, L. Pulina and A. Tacchella
D. Guidotti
S. Demarchi and D. Guidotti
S. Demarchi, D. Guidotti, A. Pitto and A. Tacchella
D. Guidotti
D. Guidotti, L. Pulina and A. Tacchella
D. Guidotti, G. Cicala, T. Gili and A. Tacchella
D. Guidotti
D. Guidotti, F. Leofante, L. Pulina and A. Tacchella
L. Pulina and A. Tacchella
L. Pulina and A. Tacchella
L. Pulina and A. Tacchella
L. Pulina and A. Tacchella
Full Professor | UniGE
Full Professor | UniSS
Post-Doc Researcher | UniSS
Post-Doc Researcher | UniGE
Lecturer | UniKent
PhD student | UniGE
Graduate Software Engineer | UniGE
