activity
20222026
most citedOn the Potential and Limitations of Few-Shot In-Context Learning to Generate Metamorphic Specifications for Tax Preparation Software

7 citations · 8 across the 7 of their papers we have counts for

collaborators

8 papers

cs.CL2026

Toward a Gricean Retreat: Probing LLMs for Knowledge Boundaries and Referent Specificity

Dananjay Srinivas, Saksham Khatwani, Maria Pacheco

When asked about entities outside their knowledge boundary, LLMs routinely fabricate plausible-sounding details rather than backing off to safer, more general claims. We frame this…

cs.AI2025

Explaining Hitori Puzzles: Neurosymbolic Proof Staging for Sequential Decisions

Maria Leonor Pacheco, Fabio Somenzi, Dananjay Srinivas +1

We propose a neurosymbolic approach to the explanation of complex sequences of decisions that combines the strengths of decision procedures and Large Language Models (LLMs). We dem…

cs.LG2024

Show, Don't Tell: Learning Reward Machines from Demonstrations for Reinforcement Learning-Based Cardiac Pacemaker Synthesis

John Komp, Dananjay Srinivas, Maria Pacheco +1

An (artificial cardiac) pacemaker is an implantable electronic device that sends electrical impulses to the heart to regulate the heartbeat. As the number of pacemaker users contin…

cs.CL2024★ 1 cited

All Entities are Not Created Equal: Examining the Long Tail for Ultra-Fine Entity Typing

Advait Deshmukh, Ashwin Umadi, Dananjay Srinivas +1

Due to their capacity to acquire world knowledge from large corpora, pre-trained language models (PLMs) are extensively used in ultra-fine entity typing tasks where the space of la…

cs.CL2024

Effects of Collaboration on the Performance of Interactive Theme Discovery Systems

Alvin Po-Chun Chen, Rohan Das, Dananjay Srinivas +3

NLP-assisted solutions to support qualitative data analysis have gained considerable traction. However, no unified evaluation framework exists which can account for the many differ…

cs.SE2023★ 7 cited

On the Potential and Limitations of Few-Shot In-Context Learning to Generate Metamorphic Specifications for Tax Preparation Software

Dananjay Srinivas, Rohan Das, Saeid Tizpaz-Niari +2

Due to the ever-increasing complexity of income tax laws in the United States, the number of US taxpayers filing their taxes using tax preparation software (henceforth, tax softwar…

cs.CL2022

System Demo: Tool and Infrastructure for Offensive Language Error Analysis (OLEA) in English

Marie Grace, Xajavion "Jay" Seabrum, Dananjay Srinivas +1

The automatic detection of offensive language is a pressing societal need. Many systems perform well on explicit offensive language but struggle to detect more complex, nuanced, or…

cs.CL2022

Discourse Analysis via Questions and Answers: Parsing Dependency Structures of Questions Under Discussion

Wei-Jen Ko, Yating Wu, Cutter Dalton +3

Automatic discourse processing is bottlenecked by data: current discourse formalisms pose highly demanding annotation tasks involving large taxonomies of discourse relations, makin…