dnnv-benchmarks

A collection of DNN verification benchmarks, specified in DNNP and ONNX for use with DNNV, DNNF and their supported verifiers and falsifiers.

Links: [Github]