Yizhak Yisrael Elboher

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 9

Top Topics

Formal Verification

Rule Based Reasoning

Reasoning Mechanisms

Top Venues

Softw. Syst. Model.

Publications

Yizhak Yisrael Elboher, Raya Elsaleh, Omri Isac, Mélanie Ducoffe, Audrey Galametz, Guillaume Povéda, Ryma Boumazouza, Noémie Cohen, Guy Katz
Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing. CoRR (2024)
Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz
On applying residual reasoning within neural network verification. Softw. Syst. Model. 23 (3) (2024)
Elazar Cohen, Yizhak Yisrael Elboher, Clark W. Barrett, Guy Katz
Tighter Abstract Queries in Neural Network Verification. LPAR (2023)
Avriti Chauhan, Mohammad Afzal, Hrishikesh Karmarkar, Yizhak Yisrael Elboher, Kumar Madhukar, Guy Katz
Efficiently Finding Adversarial Examples with DNN Preprocessing. CoRR (2022)
Elazar Cohen, Yizhak Yisrael Elboher, Clark W. Barrett, Guy Katz
Tighter Abstract Queries in Neural Network Verification. CoRR (2022)
Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz
Neural Network Verification using Residual Reasoning. CoRR (2022)
Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz
Neural Network Verification Using Residual Reasoning. SEFM (2022)
Yizhak Yisrael Elboher, Justin Gottschlich, Guy Katz
An Abstraction-Based Framework for Neural Network Verification. CAV (1) (2020)
Yizhak Yisrael Elboher, Justin Gottschlich, Guy Katz
An Abstraction-Based Framework for Neural Network Verification. CoRR (2019)