Yizhak Yisrael Elboher

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

Collaborative distances:

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

2024

On applying residual reasoning within neural network verification.

Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz

Softw. Syst. Model., June, 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