Picture for Idan Refaeli

Idan Refaeli

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks

Add code
Jan 25, 2024
Figure 1 for Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
Figure 2 for Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
Figure 3 for Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
Viaarxiv icon

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

Add code
Jan 04, 2024
Viaarxiv icon

Formally Explaining Neural Networks within Reactive Systems

Add code
Aug 06, 2023
Figure 1 for Formally Explaining Neural Networks within Reactive Systems
Figure 2 for Formally Explaining Neural Networks within Reactive Systems
Figure 3 for Formally Explaining Neural Networks within Reactive Systems
Figure 4 for Formally Explaining Neural Networks within Reactive Systems
Viaarxiv icon

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

Add code
Dec 06, 2022
Viaarxiv icon

Minimal Multi-Layer Modifications of Deep Neural Networks

Add code
Oct 20, 2021
Figure 1 for Minimal Multi-Layer Modifications of Deep Neural Networks
Figure 2 for Minimal Multi-Layer Modifications of Deep Neural Networks
Figure 3 for Minimal Multi-Layer Modifications of Deep Neural Networks
Figure 4 for Minimal Multi-Layer Modifications of Deep Neural Networks
Viaarxiv icon