Omri Isac

24 papers A* 1B 4C 1Journal 12Unranked 4
YearRankTypeTitle / Venue / Authors
2026 A* conf
Parameterized Abstract Interpretation for Transformer Verification.
AAAI
Pei Huang, Dennis Wei, Omri Isac, Haoze Wu, Min Wu, Clark W. Barrett
2026 B conf
Proof Minimization in Neural Network Verification.
VMCAI
Omri Isac, Idan Refaeli, Haoze Wu, Clark W. Barrett, Guy Katz
2025 B conf
A Certified Proof Checker for Deep Neural Network Verification in Imandra.
ITP
Remi Desmartin, Omri Isac, Grant O. Passmore, Ekaterina Komendantskaya, Kathrin Stark, Guy Katz
2025 — conf
Abstraction-Based Proof Production in Formal Verification of Neural Networks (Extended Abstract).
SAIV
Yizhak Yisrael Elboher, Omri Isac, Guy Katz, Tobias Ladner, Haoze Wu
2025 J jnl
Abstraction-Based Proof Production in Formal Verification of Neural Networks.
CoRR
Yizhak Yisrael Elboher, Omri Isac, Guy Katz, Tobias Ladner, Haoze Wu
2025 — conf
Neural Network Verification is a Programming Language Challenge.
ESOP (1)
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
2025 J jnl
Neural Network Verification is a Programming Language Challenge.
CoRR
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
2025 J jnl
Proof Minimization in Neural Network Verification.
CoRR
Omri Isac, Idan Refaeli, Haoze Wu, Clark W. Barrett, Guy Katz
2025 J jnl
Proof-Driven Clause Learning in Neural Network Verification.
CoRR
Omri Isac, Idan Refaeli, Haoze Wu, Clark W. Barrett, Guy Katz
2024 J jnl
A Certified Proof Checker for Deep Neural Network Verification.
CoRR
Remi Desmartin, Omri Isac, Ekaterina Komendantskaya, Kathrin Stark, Grant O. Passmore, Guy Katz
2024 — conf
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks.
CAV (2)
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
2024 J jnl
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks.
CoRR
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
2024 J jnl
NLP Verification: Towards a General Methodology for Certifying Robustness.
CoRR
Marco Casadio, Tanvi Dinkar, Ekaterina Komendantskaya, Luca Arnaboldi, Omri Isac, Matthew L. Daggitt, Guy Katz, Verena Rieser, Oliver Lemon
2024 J jnl
Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing.
CoRR
Yizhak Yisrael Elboher, Raya Elsaleh, Omri Isac, Mélanie Ducoffe, Audrey Galametz, Guillaume Povéda, Ryma Boumazouza, Noémie Cohen, Guy Katz
2023 — conf
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification.
FoMLAS@CAV
Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser, Ekaterina Komendantskaya
2023 J jnl
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification.
CoRR
Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser, Ekaterina Komendantskaya
2023 B conf
DNN Verification, Reachability, and the Exponential Function Problem.
CONCUR
Omri Isac, Yoni Zohar, Clark W. Barrett, Guy Katz
2023 J jnl
DNN Verification, Reachability, and the Exponential Function Problem.
CoRR
Omri Isac, Yoni Zohar, Clark W. Barrett, Guy Katz
2023 — ed.
Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, FoMLAS@CAV 2023, Paris, France, July 17-18, 2023.
FoMLAS@CAV
Nina Narodytska, Guy Amir, Guy Katz, Omri Isac
2023 C conf
Towards a Certified Proof Checker for Deep Neural Network Verification.
LOPSTR
Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Ekaterina Komendantskaya, Guy Katz
2023 J jnl
Towards a Certified Proof Checker for Deep Neural Network Verification.
CoRR
Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Guy Katz, Ekaterina Komendantskaya
2022 B conf
Neural Network Verification with Proof Production.
FMCAD
Omri Isac, Clark W. Barrett, Min Zhang, Guy Katz
2022 J jnl
Neural Network Verification with Proof Production.
CoRR
Omri Isac, Clark W. Barrett, Min Zhang, Guy Katz
2022 — ed.
Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings
NSV/FoMLAS@CAV
Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi