Picture for Ofer Strichman

Ofer Strichman

Automated Repair of Neural Networks

Add code
Jul 17, 2022
Figure 1 for Automated Repair of Neural Networks
Figure 2 for Automated Repair of Neural Networks
Figure 3 for Automated Repair of Neural Networks
Figure 4 for Automated Repair of Neural Networks
Viaarxiv icon

A combination of 'pooling' with a prediction model can reduce by 73% the number of COVID-19 tests

Add code
May 12, 2020
Figure 1 for A combination of 'pooling' with a prediction model can reduce by 73% the number of COVID-19  tests
Figure 2 for A combination of 'pooling' with a prediction model can reduce by 73% the number of COVID-19  tests
Figure 3 for A combination of 'pooling' with a prediction model can reduce by 73% the number of COVID-19  tests
Figure 4 for A combination of 'pooling' with a prediction model can reduce by 73% the number of COVID-19  tests
Viaarxiv icon

The impact of Entropy and Solution Density on selected SAT heuristics

Add code
Jun 18, 2017
Figure 1 for The impact of Entropy and Solution Density on selected SAT heuristics
Figure 2 for The impact of Entropy and Solution Density on selected SAT heuristics
Figure 3 for The impact of Entropy and Solution Density on selected SAT heuristics
Figure 4 for The impact of Entropy and Solution Density on selected SAT heuristics
Viaarxiv icon