2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LG2025
Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits
Yizhak Yisrael Elboher, Avraham Raviv, Amihay Elboher +4
Ensuring the safety and efficiency of AI systems is a central goal of modern research. Formal verification provides guarantees of neural network robustness, while early exits impro…
cs.CV2024★ 2 cited
Formal Verification of Deep Neural Networks for Object Detection
Yizhak Y. Elboher, Avraham Raviv, Yael Leibovich Weiss +4
Deep neural networks (DNNs) are widely used in real-world applications, yet they remain vulnerable to errors and adversarial attacks. Formal verification offers a systematic approa…