Idan Refaeli

According to our database, Idan Refaeli authored at least 6 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

CoRR, 2024

DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace.

Guy Katz, Natan Levy, Idan Refaeli, Raz Yerushalmi

CoRR, 2024

2023

Formally Explaining Neural Networks within Reactive Systems.

Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz

Proceedings of the Formal Methods in Computer-Aided Design, 2023

veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System.

Guy Amir, Ziv Freund, Guy Katz, Elad Mandelbaum, Idan Refaeli

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

Minimal Multi-Layer Modifications of Deep Neural Networks.

Idan Refaeli, Guy Katz

Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

Neural Network Robustness as a Verification Property: A Principled Case Study.

Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir, Idan Refaeli

Proceedings of the Computer Aided Verification - 34th International Conference, 2022