4 citations · 6 across the 3 of their papers we have counts for
1 paper · 1 filter
Yizhak Y. Elboher, Avraham Raviv, Yael Leibovich Weiss +8
Deep neural networks (DNNs) are widely used in real-world computer vision applications, yet they remain vulnerable to errors and adversarial attacks. Formal verification offers a s…