Omri Isac

According to our database, Omri Isac authored at least 16 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Proof Minimization in Neural Network Verification.

Omri Isac, Idan Refaeli, Haoze Wu, Clark W. Barrett, Guy Katz

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2026

Towards Formal Verification of Deep Neural Networks for Object Detection.

Avraham Raviv, Yizhak Yisrael Elboher, Omri Isac, Michelle Aluf-Medina, Ben Hagag, Golan Shmueli, Guy Katz, Hillel Kugler

Proceedings of the NASA Formal Methods, 2026

Parameterized Abstract Interpretation for Transformer Verification.

Pei Huang, Dennis Wei, Omri Isac, Haoze Wu, Min Wu, Clark W. Barrett

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Abstraction-Based Proof Production in Formal Verification of Neural Networks.

Yizhak Yisrael Elboher, Omri Isac, Guy Katz, Tobias Ladner, Haoze Wu

CoRR, June, 2025

Proof-Driven Clause Learning in Neural Network Verification.

Omri Isac, Idan Refaeli, Haoze Wu, Clark W. Barrett, Guy Katz

CoRR, March, 2025

Abstraction-Based Proof Production in Formal Verification of Neural Networks (Extended Abstract).

Yizhak Yisrael Elboher, Omri Isac, Guy Katz, Tobias Ladner, Haoze Wu

Proceedings of the AI Verification - Second International Symposium, 2025

A Certified Proof Checker for Deep Neural Network Verification in Imandra.

Remi Desmartin, Omri Isac, Grant O. Passmore, Ekaterina Komendantskaya, Kathrin Stark, Guy Katz

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

Neural Network Verification is a Programming Language Challenge.

Lucas C. Cordeiro, Matthew L. Daggitt, Julien Girard-Satabin, Omri Isac, Taylor T. Johnson, Guy Katz, Ekaterina Komendantskaya, Augustin Lemesle, Edoardo Manino, Artjoms Sinkarovs, Haoze Wu

Proceedings of the Programming Languages and Systems, 2025

2024

A Certified Proof Checker for Deep Neural Network Verification.

Remi Desmartin, Omri Isac, Ekaterina Komendantskaya, Kathrin Stark, Grant O. Passmore, Guy Katz

CoRR, 2024

NLP Verification: Towards a General Methodology for Certifying Robustness.

Marco Casadio, Tanvi Dinkar, Ekaterina Komendantskaya, Luca Arnaboldi, Omri Isac, Matthew L. Daggitt, Guy Katz, Verena Rieser, Oliver Lemon

CoRR, 2024

Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing.

Yizhak Yisrael Elboher, Raya Elsaleh, Omri Isac, Mélanie Ducoffe, Audrey Galametz, Guillaume Povéda, Ryma Boumazouza, Noémie Cohen, Guy Katz

CoRR, 2024

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks.

Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Towards a Certified Proof Checker for Deep Neural Network Verification.

Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Ekaterina Komendantskaya, Guy Katz

Proceedings of the Logic-Based Program Synthesis and Transformation, 2023

DNN Verification, Reachability, and the Exponential Function Problem.

Omri Isac, Yoni Zohar, Clark W. Barrett, Guy Katz

Proceedings of the 34th International Conference on Concurrency Theory, 2023

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

Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser, Ekaterina Komendantskaya

Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, 2023

2022

Neural Network Verification with Proof Production.

Omri Isac, Clark W. Barrett, Min Zhang, Guy Katz

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022