Skip to main content

Showing 1–4 of 4 results for author: Dave, N

Searching in archive cs. Search in all archives.
.
  1. arXiv:2410.11967  [pdf

    cs.CV cs.LG

    Integrating Artificial Intelligence Models and Synthetic Image Data for Enhanced Asset Inspection and Defect Identification

    Authors: Reddy Mandati, Vladyslav Anderson, Po-chen Chen, Ankush Agarwal, Tatjana Dokic, David Barnard, Michael Finn, Jesse Cromer, Andrew Mccauley, Clay Tutaj, Neha Dave, Bobby Besharati, Jamie Barnett, Timothy Krall

    Abstract: In the past utilities relied on in-field inspections to identify asset defects. Recently, utilities have started using drone-based inspections to enhance the field-inspection process. We consider a vast repository of drone images, providing a wealth of information about asset health and potential issues. However, making the collected imagery data useful for automated defect detection requires sign… ▽ More

    Submitted 15 October, 2024; originally announced October 2024.

  2. arXiv:2410.03118  [pdf, other

    cs.CL

    Precision, Stability, and Generalization: A Comprehensive Assessment of RNNs learnability capability for Classifying Counter and Dyck Languages

    Authors: Neisarg Dave, Daniel Kifer, Lee Giles, Ankur Mali

    Abstract: This study investigates the learnability of Recurrent Neural Networks (RNNs) in classifying structured formal languages, focusing on counter and Dyck languages. Traditionally, both first-order (LSTM) and second-order (O2RNN) RNNs have been considered effective for such tasks, primarily based on their theoretical expressiveness within the Chomsky hierarchy. However, our research challenges this not… ▽ More

    Submitted 3 October, 2024; originally announced October 2024.

    Comments: 21 pages, 5 figures, 5 tables

  3. arXiv:2405.13209  [pdf, other

    cs.CL cs.LG

    Investigating Symbolic Capabilities of Large Language Models

    Authors: Neisarg Dave, Daniel Kifer, C. Lee Giles, Ankur Mali

    Abstract: Prompting techniques have significantly enhanced the capabilities of Large Language Models (LLMs) across various complex tasks, including reasoning, planning, and solving math word problems. However, most research has predominantly focused on language-based reasoning and word problems, often overlooking the potential of LLMs in handling symbol-based calculations and reasoning. This study aims to b… ▽ More

    Submitted 21 May, 2024; originally announced May 2024.

  4. arXiv:2402.02627  [pdf, other

    cs.LG

    Stability Analysis of Various Symbolic Rule Extraction Methods from Recurrent Neural Network

    Authors: Neisarg Dave, Daniel Kifer, C. Lee Giles, Ankur Mali

    Abstract: This paper analyzes two competing rule extraction methodologies: quantization and equivalence query. We trained $3600$ RNN models, extracting $18000$ DFA with a quantization approach (k-means and SOM) and $3600$ DFA by equivalence query($L^{*}$) methods across $10$ initialization seeds. We sampled the datasets from $7$ Tomita and $4$ Dyck grammars and trained them on $4$ RNN cells: LSTM, GRU, O2RN… ▽ More

    Submitted 4 February, 2024; originally announced February 2024.