Yizhak Yisrael Elboher

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

Collaborative distances:

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

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