Neural Network Verification with Proof Production. - Omri Isac; Clark W. Barrett; Min Zhang 002; Guy Katz (FMCAD, 2022)

ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification. - Marco Casadio; Luca Arnaboldi 001; Matthew L. Daggitt; Omri Isac; Tanvi Dinkar; Daniel Kienitz; Verena Rieser; Ekaterina Komendantskaya (FoMLAS@CAV, 2023)

DNN Verification, Reachability, and the Exponential Function Problem. - Omri Isac; Yoni Zohar; Clark W. Barrett; Guy Katz (CONCUR, 2023)

Towards a Certified Proof Checker for Deep Neural Network Verification. - Remi Desmartin; Omri Isac; Grant O. Passmore; Kathrin Stark; Ekaterina Komendantskaya; Guy Katz (LOPSTR, 2023)

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. - Haoze Wu 001; Omri Isac; Aleksandar Zeljic; Teruhiro Tagomori; Matthew L. Daggitt; Wen Kokke; Idan Refaeli; Guy Amir; Kyle Julian; Shahaf Bassan; Pei Huang 002; Ori Lahav 002; et al. (CAV (2), 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)

NLP Verification: Towards a General Methodology for Certifying Robustness. - Marco Casadio; Tanvi Dinkar; Ekaterina Komendantskaya; Luca Arnaboldi 001; Omri Isac; Matthew L. Daggitt; Guy Katz; Verena Rieser; Oliver Lemon (CoRR, 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)

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 001 (ESOP (1), 2025)

Proof-Driven Clause Learning in Neural Network Verification. - Omri Isac; Idan Refaeli; Haoze Wu 001; Clark W. Barrett; Guy Katz (CoRR, 2025)

Abstraction-Based Proof Production in Formal Verification of Neural Networks. - Yizhak Yisrael Elboher; Omri Isac; Guy Katz; Tobias Ladner; Haoze Wu 001 (CoRR, 2025)