research
∙
09/21/2022
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise
Angluin's L* algorithm learns the minimal (complete) deterministic finit...
share
research
∙
09/22/2020
Property-Directed Verification of Recurrent Neural Networks
This paper presents a property-directed approach to verifying recurrent ...
research
∙
12/30/2018
