vnncomp2024
Pre-release
Pre-release
NNV version for the participation in the Verification of Neural Network competition, 2024.
Submission folder: examples/Submission/VNN_COMP2024
Competition Information
5th International Verification of Neural Networks Competition (VNN-COMP'24)