@misc{indiciae81e665d8cbbe,
  title = {Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits},
  author = {Yizhak Yisrael Elboher and Avraham Raviv and Amihay Elboher and Zhouxing Shi and Omri Azencot and Hillel Kugler and Guy Katz},
  year = {2025},
  url = {https://arxiv.org/abs/2512.20755},
  note = {Source identifier: 2512.20755}
}