Breakthroughs in DNN Verification

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:

  • Avatar
    Sebastian Elbaum
    Anita Jones Professor of Computer Science.