Skip to content

Alpha release, CNN counterexample benchmarks

Pre-release
Pre-release
Compare
Choose a tag to compare
@ceriottm ceriottm released this 26 Jan 14:28
· 20 commits to feat/gaptools since this release
cnn-counterexample
3fd08e4
This commit was signed with the committer’s verified signature.
max-veit Max Veit
GPG key ID: 1762B426C5DC18A1
Verified
Learn about vigilant mode.

Version used to generate the data in https://arxiv.org/abs/2201.07136

Assets 2
Loading