Publications

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