Yizhak Yisrael Elboher

18 papers A* 1B 2Journal 13Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs.
CoRR
Ido Pinto, Yizhak Yisrael Elboher, Haoze Wu, Nina Narodytska, Guy Katz
2026 J jnl
Provably Explaining Neural Additive Models.
CoRR
Shahaf Bassan, Yizhak Yisrael Elboher, Tobias Ladner, Volkan Sahin, Jan Kretínský, Matthias Althoff, Guy Katz
2026 J jnl
Talking with Verifiers: Automatic Specification Generation for Neural Network Verification.
CoRR
Yizhak Yisrael Elboher, Reuven Peleg, Zhouxing Shi, Guy Katz, Jan Kretínský
2025 — conf
Abstraction-Based Proof Production in Formal Verification of Neural Networks (Extended Abstract).
SAIV
Yizhak Yisrael Elboher, Omri Isac, Guy Katz, Tobias Ladner, Haoze Wu
2025 J jnl
Abstraction-Based Proof Production in Formal Verification of Neural Networks.
CoRR
Yizhak Yisrael Elboher, Omri Isac, Guy Katz, Tobias Ladner, Haoze Wu
2025 J jnl
Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits.
CoRR
Yizhak Yisrael Elboher, Avraham Raviv, Amihay Elboher, Zhouxing Shi, Omri Azencot, Hillel Kugler, Guy Katz
2025 A* conf
Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations.
ICML
Shahaf Bassan, Yizhak Yisrael Elboher, Tobias Ladner, Matthias Althoff, Guy Katz
2025 J jnl
Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations.
CoRR
Shahaf Bassan, Yizhak Yisrael Elboher, Tobias Ladner, Matthias Althoff, Guy Katz
2024 J jnl
Formal Verification of Object Detection.
CoRR
Avraham Raviv, Yizhak Yisrael Elboher, Michelle Aluf-Medina, Yael Leibovich Weiss, Omer Cohen, Roy Assa, Guy Katz, Hillel Kugler
2024 J jnl
On applying residual reasoning within neural network verification.
Softw. Syst. Model.
Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz
2024 J jnl
Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing.
CoRR
Yizhak Yisrael Elboher, Raya Elsaleh, Omri Isac, Mélanie Ducoffe, Audrey Galametz, Guillaume Povéda, Ryma Boumazouza, Noémie Cohen, Guy Katz
2023 B conf
Tighter Abstract Queries in Neural Network Verification.
LPAR
Elazar Cohen, Yizhak Yisrael Elboher, Clark W. Barrett, Guy Katz
2022 J jnl
Efficiently Finding Adversarial Examples with DNN Preprocessing.
CoRR
Avriti Chauhan, Mohammad Afzal, Hrishikesh Karmarkar, Yizhak Yisrael Elboher, Kumar Madhukar, Guy Katz
2022 B conf
Neural Network Verification Using Residual Reasoning.
SEFM
Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz
2022 J jnl
Neural Network Verification using Residual Reasoning.
CoRR
Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz
2022 J jnl
Tighter Abstract Queries in Neural Network Verification.
CoRR
Elazar Cohen, Yizhak Yisrael Elboher, Clark W. Barrett, Guy Katz
2020 — conf
An Abstraction-Based Framework for Neural Network Verification.
CAV (1)
Yizhak Yisrael Elboher, Justin Gottschlich, Guy Katz
2019 J jnl
An Abstraction-Based Framework for Neural Network Verification.
CoRR
Yizhak Yisrael Elboher, Justin Gottschlich, Guy Katz