search

stanleybak / vnncomp2021

VNN Neural Network Verification Competition 2021
37 stars 22 forks source link

Add OVAL21 benchmark #6

Closed alessandrodepalma closed 3 years ago

alessandrodepalma commented 3 years ago

Benchmark details can be found at: https://github.com/oval-group/vnncomp2021/blob/main/benchmarks/oval21/README.md