3 citations · 3 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.AI2023★ 3 cited
A Formal Metareasoning Model of Concurrent Planning and Execution
Amihay Elboher, Ava Bensoussan, Erez Karpas +3
Agents that plan and act in the real world must deal with the fact that time passes as they are planning. When timing is tight, there may be insufficient time to complete the searc…