16 citations · 25 across the 5 of their papers we have counts for
5 papers
Analyzing Robustness of Angluin's L Algorithm in Presence of Noise
Lina Ye, Igor Khmelnitsky, Serge Haddad +5
Angluin's L algorithm learns the minimal deterministic finite automaton (DFA) of a regular language using membership and equivalence queries. Its probabilistic approximatively…
Metal-insulator phase separation in KTaO3-based two-dimensional electron gas
Jinlei Zhang, Jiayong Zhang, Dapeng Cui +8
Electronic phase separation (EPS) originates from an incomplete transformation between electronic phases, causing the inhomogeneous spatial distribution of electronic properties. I…
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise
Igor Khmelnitsky, Serge Haddad, Lina Ye +5
Angluin's L* algorithm learns the minimal (complete) deterministic finite automaton (DFA) of a regular language using membership and equivalence queries. Its probabilistic approxim…
Property-Directed Verification of Recurrent Neural Networks
Igor Khmelnitsky, Daniel Neider, Rajarshi Roy +6
This paper presents a property-directed approach to verifying recurrent neural networks (RNNs). To this end, we learn a deterministic finite automaton as a surrogate model from a g…
Theoretical and Experimental Studies of Schottky Diodes That Use Aligned Arrays of Single Walled Carbon Nanotubes
Xinning Ho, Lina Ye, Slava V. Rotkin +5
We present theoretical and experimental studies of Schottky diodes that use aligned arrays of single walled carbon nanotubes. A simple physical model, taking into account the basic…