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
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…