Publications

Formal Verification of Object Detection​. In CoRR abs/2407.01295, July 2024.

• Avraham Raviv, Yizhak Y. Elboher, Michelle Aluf-Medina, Yael Leibovich Weiss, Omer Cohen, Roy Assa, Guy Katz and Hillel Kugler​

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

• ​Yizhak Elboher, Raya Elsaleh, Omri Isac, M ́elanie Ducoffe, Audrey Galametz, Guillaume Pov ́eda, Ryma Boumazouza, No ́emie Cohen, Guy Katz.

On applying residual reasoningwithin neural network verification. In SoSym 2023, Nov 2023

• Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz.

Tighter AbstractQueries in Neural Network Verification. In LPAR 2023, Jun 2023.​​

• Elazar Cohen *, Yizhak Yisrael Elboher *, Clark Barrett, Guy Katz.

Efficiently Finding Adversarial Examples with DNNPreprocessing. In CoRR abs/2211.08706, Nov 2022.

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

Neural Network Verification using Residual Reasoning. In SEFM 2022, Sep 2022.

• Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz.

An Abstraction-Based Frame-work for Neural Network Verification. In CAV (1) 2020: 43-65, July 2020. 

• Yizhak Yisrael Elboher, Justin Gottschlich, Guy Katz.​