| Marabou 2.0: a versatile formal analyzer of neural networks H Wu, O Isac, A Zeljić, T Tagomori, M Daggitt, W Kokke, I Refaeli, G Amir, ... International Conference on Computer Aided Verification, 249-264, 2024 | 99 | 2024 |
| Neural network robustness as a verification property: a principled case study M Casadio, E Komendantskaya, ML Daggitt, W Kokke, G Katz, G Amir, ... International conference on computer aided verification, 219-231, 2022 | 74 | 2022 |
| Formally explaining neural networks within reactive systems S Bassan, G Amir, D Corsi, I Refaeli, G Katz 2023 Formal Methods in Computer-Aided Design (FMCAD), 1-13, 2023 | 23 | 2023 |
| Minimal multi-layer modifications of deep neural networks I Refaeli, G Katz International workshop on numerical software verification, 46-66, 2022 | 23 | 2022 |
| veriFIRE: verifying an industrial, learning-based wildfire detection system G Amir, Z Freund, G Katz, E Mandelbaum, I Refaeli International Symposium on Formal Methods, 648-656, 2023 | 15 | 2023 |
| Proof Minimization in Neural Network Verification O Isac, I Refaeli, H Wu, C Barrett, G Katz International Conference on Verification, Model Checking, and Abstract …, 2026 | 2 | 2026 |
| DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace G Katz, N Levy, I Refaeli, R Yerushalmi 2024 AIAA DATC/IEEE 43rd Digital Avionics Systems Conference (DASC), 1-8, 2024 | 2 | 2024 |
| Proof-Driven Clause Learning in Neural Network Verification O Isac, I Refaeli, H Wu, C Barrett, G Katz arXiv preprint arXiv:2503.12083, 2025 | | 2025 |
| Minimal Multi-Layer Modifications I Refaeli, G Katz Software Verification and Formal Methods for ML-Enabled Autonomous Systems …, 2022 | | 2022 |
| Neural Network Robustness as a Verification Property: A Principled Case Study G Katz, G Amir, I Refaeli | | |
