A large collection of DNN verification benchmarks, specified in DNNP and ONNX for use with DNNV, DNNF and their supported verifiers and falsifiers.
Links: [Github]