Publications

Towards Formal Verification of Deep Neural Networks for Object Detection
A. Raviv *, Y. Y. Elboher *, O. Isac, B. Hagag, G. Shmueli, G. Katz and H. Kugler
Proc. 18th NASA Formal Methods Symposium (NFM)
Los Angeles, California, USA, May 2026

Talking with Verifiers: Automatic Specification Generation for Neural Network Verification
Y. Y. Elboher *,  Reuven Peleg, Zhouxing Shi, Guy Katz, Jan Křetínský
Arxiv Technical Report, Feb 2026
[Arxiv]

Proably Explaining Neural Additive Models
S. Bassan *, Y. Y. Elboher *, T. Ladner *, V. Sahin, J. Kretinsky, M. Althoff and G. Katz
Proc. 14th Int. Conf. on Learning Representations (ICLR)
Rio de Janeiro, Brazil, April 2026

Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits
Y. Y. Elboher *, A. Raviv *, A. Elboher *, Z. Shi, O. Azencot, H. Kugler, G. Katz
Arxiv Technical Report, December 2025
[Arxiv]

Abstraction-Based Proof Production in Formal Verification of Neural Networks
Y. Y. Elboher, O. Isac, G. Katz, T. Ladner and H. Wu
The 8th Int. Symposium on AI Verification (SAIV)
Zagreb, Croatia, July 2025

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
S. Bassan *, Y. Y. Elboher *, T. Ladner *, M. Althoff and G. Katz
Proc. 42nd Int. Conf. on Machine Learning (ICML)
Vancouver, Canada, July 2025

Formal Verification of Object Detection​
A. Raviv *, Y. Y. Elboher *, M. Aluf-Medina, Y. L. Weiss, O. Cohen, R. Assa, G. Katz and H. Kugler​
Arxiv Technical Report, July 2024
[Arxiv]

Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing
Y​. Y. Elboher *, R. Elsaleh *, O. Isac *, M. Ducoffe, A. Galametz, G. Pov ́eda, R. Boumazouza, N. Cohen, G. Katz
Proc. 43rd Digital Avionics Systems Conf. (DASC), pp. 1-6
San Diego, California, USA, September 2024 [Best of Session Award]

On applying residual reasoning within neural network verification
Y. Y. Elboher, E. Cohen and G. Katz
Int. Journal on Software and Systems Modeling (SoSyM), 2023

Tighter Abstract Queries in Neural Network Verification​
E. Cohen *, Y. Y. Elboher *, C. Barrett, G. Katz
Proc. 24th Int. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), pp. 124-143
Manizales, Colombia, June 2023

Efficiently Finding Adversarial Examples with DNN Preprocessing
A. Chauhan, and M. Afzal, and H. Karmarkar, Y. Y. Elboher, and K. Madhukar and G. Katz
Arxiv Technical Report, November 2022
[Arxiv]

Neural Network Verification using Residual Reasoning
Y. Y. Elboher, E. Cohen and G. Katz
Proc. 20th Int. Conf. on Software Engineering and Formal Methods (SEFM), pp. 173-189
Berlin, Germany, September 2022

An Abstraction-Based Frame-work for Neural Network Verification
Y. Y. Elboher, J. Gottschlich, G. Katz​
Proc. 32nd Int. Conf. on Computer Aided Verification (CAV), pp. 43-65
Los Angeles, California, USA, July 2020