Omri Isac

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 13

Top Topics

Sound Theoretical

Top Venues

Publications

Remi Desmartin, Omri Isac, Ekaterina Komendantskaya, Kathrin Stark, Grant O. Passmore, Guy Katz
A Certified Proof Checker for Deep Neural Network Verification. CoRR (2024)
Yizhak Yisrael Elboher, Raya Elsaleh, Omri Isac, Mélanie Ducoffe, Audrey Galametz, Guillaume Povéda, Ryma Boumazouza, Noémie Cohen, Guy Katz
Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing. CoRR (2024)
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
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. CAV (2) (2024)
Marco Casadio, Tanvi Dinkar, Ekaterina Komendantskaya, Luca Arnaboldi, Omri Isac, Matthew L. Daggitt, Guy Katz, Verena Rieser, Oliver Lemon
NLP Verification: Towards a General Methodology for Certifying Robustness. CoRR (2024)
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
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. CoRR (2024)
Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser, Ekaterina Komendantskaya
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification. FoMLAS@CAV (2023)
Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Ekaterina Komendantskaya, Guy Katz
Towards a Certified Proof Checker for Deep Neural Network Verification. LOPSTR (2023)
Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser, Ekaterina Komendantskaya
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification. CoRR (2023)
Omri Isac, Yoni Zohar, Clark W. Barrett, Guy Katz
DNN Verification, Reachability, and the Exponential Function Problem. CONCUR (2023)
Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Guy Katz, Ekaterina Komendantskaya
Towards a Certified Proof Checker for Deep Neural Network Verification. CoRR (2023)
Omri Isac, Yoni Zohar, Clark W. Barrett, Guy Katz
DNN Verification, Reachability, and the Exponential Function Problem. CoRR (2023)
Omri Isac, Clark W. Barrett, Min Zhang, Guy Katz
Neural Network Verification with Proof Production. CoRR (2022)
Omri Isac, Clark W. Barrett, Min Zhang, Guy Katz
Neural Network Verification with Proof Production. FMCAD (2022)