Together with Matt Dwyer and our students in the LESS Lab we have made significant progress to enable DNN verifiers tackle richer properties, bigger and more complex DNNs, and even tailor verification to the input distributions to generate more relevant counter-examples.
Key pieces of this work have appeared at ICSE21, CAV21 , and ASE 21
The work is sponsored by NSF, LM, and AFOSR.
Some of the infrastructure we have built, led by our graduate student David Shriver, is available here:
https://github.com/dlshriver/DNNV
https://github.com/dlshriver/DNNF