Omri Isac

According to our database, Omri Isac authored at least 7 papers between 2022 and 2024.

Collaborative distances:

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

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

CoRR, 2024

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

CoRR, 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

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