Supporting Standardization of Neural Networks Verification with VNN-LIB and CoCoNet
Published in 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, FoMLAS 2023, Paris, France, 2023
Recommended citation: S. Demarchi, D. Guidotti, L. Pulina and A. Tacchella (2023), "Supporting Standardization of Neural Networks Verification with VNN-LIB and CoCoNet." in 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, FoMLAS 2023, Paris, France, July 17-18, 2023, Proceedings, 2023.
We propose a standard for neural networks verification and a tool for generating benchmarks.