1 citations · 1 across the 6 of their papers we have counts for
Showing cs.LGShow all
3 papers · 1 filter
cs.LG2024
Stability Analysis of Various Symbolic Rule Extraction Methods from Recurrent Neural Network
Neisarg Dave, Daniel Kifer, C. Lee Giles +1
This paper analyzes two competing rule extraction methodologies: quantization and equivalence query. We trained RNN models, extracting DFA with a quantization approa…
cs.LG2023
On the Computational Complexity and Formal Hierarchy of Second Order Recurrent Neural Networks
Ankur Mali, Alexander Ororbia, Daniel Kifer +1
Artificial neural networks (ANNs) with recurrence and self-attention have been shown to be Turing-complete (TC). However, existing work has shown that these ANNs require multiple t…
cs.LG2020
A provably stable neural network Turing Machine
John Stogin, Ankur Mali, C Lee Giles
We introduce a neural stack architecture, including a differentiable parametrized stack operator that approximates stack push and pop operations for suitable choices of parameters…