top of page

I am a Ph.D. candidate at the School of Computer Science and Engineering, the Hebrew University of Jerusalem, Israel, and advised by Professor Guy Katz.
 

My research focuses on enhancing the formal verification of neural networks to improve efficiency and scalability.

Publications

  1. 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​

  2. 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.

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

    • Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz.

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

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

  5. 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.

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

    • Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz.

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

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

ACADEMIC STUDIES

(2009-2011) BSc. Computer Science (HUJI)

(2017-2018) MSc. Computer Science (TAU, under the supervision of Prof. Daniel Deutch)

(2020-) PHD Candidate Computer Science (HUJI, under the supervision of Prof. Guy Katz)

CONTACT ME

Thanks for submitting!

bottom of page