35 citations · 76 across the 10 of their papers we have counts for
1 paper · 1 filter
David Shriver, Sebastian Elbaum, Matthew B. Dwyer
Despite the large number of sophisticated deep neural network (DNN) verification algorithms, DNN verifier developers, users, and researchers still face several challenges. First, v…