Skip to content

vnncomp2024

Pre-release
Pre-release

Choose a tag to compare

View all tags
@mldiego mldiego released this 22 Jul 19:22
· 240 commits to master since this release
vnncomp2024
50da012
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

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)

Assets 2
Loading