activity
20202025
most citedInvestigating Symbolic Capabilities of Large Language Models

1 citations · 1 across the 6 of their papers we have counts for

collaborators

6 papers

cs.AI2025

Investigating Pedagogical Teacher and Student LLM Agents: Genetic Adaptation Meets Retrieval Augmented Generation Across Learning Style

Debdeep Sanyal, Agniva Maiti, Umakanta Maharana +4

Effective teaching requires adapting instructional strategies to accommodate the diverse cognitive and behavioral profiles of students, a persistent challenge in education and teac…

cs.CL2024★ 1 cited

Investigating Symbolic Capabilities of Large Language Models

Neisarg Dave, Daniel Kifer, C. Lee Giles +1

Prompting techniques have significantly enhanced the capabilities of Large Language Models (LLMs) across various complex tasks, including reasoning, planning, and solving math word…

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.CC2023

On the Tensor Representation and Algebraic Homomorphism of the Neural State Turing Machine

Ankur Mali, Alexander Ororbia, Daniel Kifer +1

Recurrent neural networks (RNNs) and transformers have been shown to be Turing-complete, but this result assumes infinite precision in their hidden representations, positional enco…

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…