119 citations · 468 across the 39 of their papers we have counts for
1 paper · 2 filters
Sumathi Gokulanathan, Alexander Feldsher, Adi Malca +2
Deep neural network (DNN) verification is an emerging field, with diverse verification engines quickly becoming available. Demonstrating the effectiveness of these engines on real-…