Amihay Elboher

According to our database, Amihay Elboher authored at least 3 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits.

Yizhak Yisrael Elboher, Avraham Raviv, Amihay Elboher, Zhouxing Shi, Omri Azencot, Hillel Kugler, Guy Katz

CoRR, December, 2025

2023

A Formal Metareasoning Model of Concurrent Planning and Execution.

Amihay Elboher, Ava Bensoussan, Erez Karpas, Wheeler Ruml, Shahaf S. Shperberg, Solomon Eyal Shimony

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2021

Metareasoning for Interleaved Planning and Execution.

Amihay Elboher, Shahaf S. Shperberg, Solomon Eyal Shimony

Proceedings of the Fourteenth International Symposium on Combinatorial Search, 2021