Proof-Driven Clause Learning in Neural Network Verification

O. Isac*, I. Refaeli*, H.Wu, C. Barrett and G. Katz

[arXiv preprint]

​*Equal contribution

Neural Network Verification is a Programming Language Challenge

L. Cordeiro, M. Daggitt, J. Girard-Satabin, O. Isac, T. Johnson, G. Katz, E. Komendantskaya, A. Lemesle, E. Manino, A. Šinkarovs and H. Wu

Proc. 34th European Symposium on Programming (ESOP), May 2025

[arXiv preprint]

A Certified Proof Checker for Deep Neural Network Verification

R. Desmartin*, O. Isac*, E. Komendantskaya, K. Stark, G. Passmore and G. Katz

[arXiv preprint]

​*Equal contribution

NLP Verification: Towards a General Methodology for Certifying Robustness 
M. Casadio, T. Dinkar, E. Komendantskaya, L. Arnaboldi, O. Isac, M. L. Daggitt, G. Katz, V. Rieser and O. Lemon

​European Journal of Applied Mathematics, 2025

[PDF]

Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing
Y. Elboher*, R. Elsaleh*, O. Isac*, M. Ducoffe, A. Galametz, G. Povéda, R. Boumazouza, N. Cohen and G. Katz

Best of Session Award, Proc. 43rd Digital Avionics Systems Conf. (DASC), September 2024

[PDF]

*Equal contribution

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks

H. Wu, O. Isac, A. Zeljić, T. Tagomori, M. Daggitt, W. Kokke, I. Refaeli, G. Amir, K. Julian, S. Bassan, P. Huang, O. Lahav, M. Wu, M. Zhang, E. Komendantskaya, G. Katz and C. Barrett

Proc. 36th Int. Conf. on Computer Aided Verification (CAV), July 2024

[PDF]

Towards a Certified Proof Checker for Deep Neural Network Verification

R. Desmartin*, O. Isac*, G. Passmore, K. Stark, E. Komendantskaya and G. Katz

Best Short-Paper Award, Proc. 33rd Int. Symposium on Logic-based Program Synthesis and Transformation (LOPSTR), October 2023

[PDF]

*Equal contribution

DNN Verification, Reachability, and the Exponential Function Problem

O. Isac, Y. Zohar, C. Barrett and G. Katz

Proc. 34th Int. Conf. on Concurrency Theory (CONCUR), September 2023

[PDF]

ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification

M. Casadio, L. Arnaboldi, M. L. Daggitt, O. Isac, T. Dinkar, D. Kienitz, V. Rieser and E. Komendantskaya

Proc. 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS), July 2023

[PDF]

Neural Network Verification with Proof Production

O. Isac, C. Barrett, M. Zhang and G. Katz

Proc. 22nd Int. Conf. on Formal Methods in Computer-Aided Design (FMCAD), 

October 2022

[PDF]