Picture for Benoît Barbot

Benoît Barbot

Université Paris-Est Créteil, France

Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise

Add code
Sep 21, 2022
Figure 1 for Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise
Figure 2 for Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise
Figure 3 for Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise
Figure 4 for Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise
Viaarxiv icon

Property-Directed Verification of Recurrent Neural Networks

Add code
Sep 22, 2020
Figure 1 for Property-Directed Verification of Recurrent Neural Networks
Figure 2 for Property-Directed Verification of Recurrent Neural Networks
Figure 3 for Property-Directed Verification of Recurrent Neural Networks
Figure 4 for Property-Directed Verification of Recurrent Neural Networks
Viaarxiv icon