VLDB 2026 Research / reviewers in the wild / expert
Ori Lahav 0002
dblp:84/7458-2
· DBLP profile ↗
2ranked-venue papers
1as first author
2since 2021 · last 2024
—ORCID · unresolved
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 1 first-author · 2 since 2021Theory of computation · 2 · 1 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Marabou 2.0: A Versatile Formal Analyzer of Neural NetworksabstractAbstract This paper serves as a comprehensive system description of version 2.0 of the Marabou framework for formal analysis of neural networks. We discuss the tool’s architectural design and highlight the major features and components introduced since its initial release. Haoze Wu 0001, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang 0002, Ori Lahav 0002, Min Wu 0011, Min Zhang 0002, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett |
CAV (2) | 12 |
| 2021 | Pruning and Slicing Neural Networks using Formal Verification
Ori Lahav 0002, Guy Katz |
FMCAD | 1 |