An Abstraction-Based Framework for Neural Network Verification. - Yizhak Yisrael Elboher; Justin Gottschlich; Guy Katz (CAV (1), 2020)

Neural Network Verification Using Residual Reasoning. - Yizhak Yisrael Elboher; Elazar Cohen; Guy Katz (SEFM, 2022)

Efficiently Finding Adversarial Examples with DNN Preprocessing. - Avriti Chauhan; Mohammad Afzal; Hrishikesh Karmarkar; Yizhak Yisrael Elboher; Kumar Madhukar; Guy Katz (CoRR, 2022)

Tighter Abstract Queries in Neural Network Verification. - Elazar Cohen; Yizhak Yisrael Elboher; Clark W. Barrett; Guy Katz (LPAR, 2023)

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)

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)

On applying residual reasoning within neural network verification. - Yizhak Yisrael Elboher; Elazar Cohen; Guy Katz (Softw. Syst. Model., 2024)

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations. - Shahaf Bassan; Yizhak Yisrael Elboher; Tobias Ladner; Matthias Althoff; Guy Katz (CoRR, 2025)

Abstraction-Based Proof Production in Formal Verification of Neural Networks. - Yizhak Yisrael Elboher; Omri Isac; Guy Katz; Tobias Ladner; Haoze Wu 001 (CoRR, 2025)