TY  - RPRT
TI  - Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits
AU  - Yizhak Yisrael Elboher
AU  - Avraham Raviv
AU  - Amihay Elboher
AU  - Zhouxing Shi
AU  - Omri Azencot
AU  - Hillel Kugler
AU  - Guy Katz
PY  - 2025
UR  - https://arxiv.org/abs/2512.20755
ID  - 2512.20755
ER  -