Yizhak Yisrael Elboher

According to our database, Yizhak Yisrael Elboher authored at least 14 papers between 2020 and 2026.

Collaborative distances:

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

2026

Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs.

Ido Pinto, Yizhak Yisrael Elboher, Haoze Wu, Nina Narodytska, Guy Katz

CoRR, March, 2026

Talking with Verifiers: Automatic Specification Generation for Neural Network Verification.

Yizhak Yisrael Elboher, Reuven Peleg, Zhouxing Shi, Guy Katz, Jan Kretínský

CoRR, March, 2026

Provably Explaining Neural Additive Models.

Shahaf Bassan, Yizhak Yisrael Elboher, Tobias Ladner, Volkan Sahin, Jan Kretínský, Matthias Althoff, Guy Katz

CoRR, February, 2026

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

Abstraction-Based Proof Production in Formal Verification of Neural Networks.

Yizhak Yisrael Elboher, Omri Isac, Guy Katz, Tobias Ladner, Haoze Wu

CoRR, June, 2025

Abstraction-Based Proof Production in Formal Verification of Neural Networks (Extended Abstract).

Yizhak Yisrael Elboher, Omri Isac, Guy Katz, Tobias Ladner, Haoze Wu

Proceedings of the AI Verification - Second International Symposium, 2025

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations.

Shahaf Bassan, Yizhak Yisrael Elboher, Tobias Ladner, Matthias Althoff, Guy Katz

Proceedings of the Forty-second International Conference on Machine Learning, 2025

2024

On applying residual reasoning within neural network verification.

Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz

Softw. Syst. Model., June, 2024

Formal Verification of Object Detection.

Avraham Raviv, Yizhak Yisrael Elboher, Michelle Aluf-Medina, Yael Leibovich Weiss, Omer Cohen, Roy Assa, Guy Katz, Hillel Kugler

CoRR, 2024

Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing.

Yizhak Yisrael Elboher, Raya Elsaleh, Omri Isac, Mélanie Ducoffe, Audrey Galametz, Guillaume Povéda, Ryma Boumazouza, Noémie Cohen, Guy Katz

CoRR, 2024

2023

Tighter Abstract Queries in Neural Network Verification.

Elazar Cohen, Yizhak Yisrael Elboher, Clark W. Barrett, Guy Katz

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

2022

Efficiently Finding Adversarial Examples with DNN Preprocessing.

Avriti Chauhan, Mohammad Afzal, Hrishikesh Karmarkar, Yizhak Yisrael Elboher, Kumar Madhukar, Guy Katz

CoRR, 2022

Neural Network Verification Using Residual Reasoning.

Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

2020

An Abstraction-Based Framework for Neural Network Verification.

Yizhak Yisrael Elboher, Justin Gottschlich, Guy Katz

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020