Omri Isac
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Parameterized Abstract Interpretation for Transformer Verification. | Pei Huang, Dennis Wei, Omri Isac, Haoze Wu, Min Wu, Clark W. Barrett |
| 2026 | VMCAI | Proof Minimization in Neural Network Verification. | Omri Isac, Idan Refaeli, Haoze Wu, Clark W. Barrett, Guy Katz |
| 2025 | ESOP | 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 |
| 2025 | ITP | A Certified Proof Checker for Deep Neural Network Verification in Imandra. | Remi Desmartin, Omri Isac, Grant O. Passmore, Ekaterina Komendantskaya, Kathrin Stark, Guy Katz |
| 2024 | CAV | 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 |
| 2023 | CAV | 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 |
| 2023 | CONCUR | DNN Verification, Reachability, and the Exponential Function Problem. | Omri Isac, Yoni Zohar, Clark W. Barrett, Guy Katz |
| 2023 | LOPSTR | Towards a Certified Proof Checker for Deep Neural Network Verification. | Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Ekaterina Komendantskaya, Guy Katz |
| 2022 | FMCAD | Neural Network Verification with Proof Production. | Omri Isac, Clark W. Barrett, Min Zhang, Guy Katz |