SearcharxivSearch

arXiv subjects

Arpit Sharma

Publications and source records attributed to Arpit Sharma.

8 recordsLinked to original sources

PQR: A Framework to Generate Diverse and Realistic User Queries that Elicit QA Agent Failures

Evaluating LLM-based agents remains challenging because identifying meaningful failure cases often requires substantial human effort to design realistic test scenarios. Prior works primarily focus on automatically discovering agent failures induced by adversarial users, while overlooking queries with real user intents that also trigger agent failures. We introduce PQR, a framework that not only surfaces agent failures with respect to specific objectives (e.g., helpfulness, safety, etc.) but also resembles real users' intents. PQR operates through an iterative interaction between two complementary modules. The query refinement module performs rewrites to explore diverse query variations, while the prompt refinement module uses prior feedback to derive new objective-violating strategies and realism policies for refining prompts, which in turn generate failure-triggering yet realistic queries. We evaluate PQR on detecting an e-commerce QA agent's unhelpful responses. Our method uncovers 23% - 78% more unhelpful responses, and our generated queries are more diverse and realistic compared to previous methods.

cs.CL

Bottom-Up Synthesis of Knowledge-Grounded Task-Oriented Dialogues with Iteratively Self-Refined Prompts

Training conversational question-answering (QA) systems requires a substantial amount of in-domain data, which is often scarce in practice. A common solution to this challenge is to generate synthetic data. Traditional methods typically follow a top-down approach, where a large language model (LLM) generates multi-turn dialogues from a broad prompt. Although this method produces coherent conversations, it offers limited fine-grained control over the content and is susceptible to hallucinations. We introduce a bottom-up conversation synthesis approach, where QA pairs are generated first and then combined into a coherent dialogue. This method offers greater control and precision by dividing the process into two distinct steps, allowing refined instructions and validations to be handled separately. Additionally, this structure allows the use of non-local models in stages that do not involve proprietary knowledge, enhancing the overall quality of the generated data. Both human and automated evaluations demonstrate that our approach produces more realistic and higher-quality dialogues compared to top-down methods.

cs.LG

Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court

The Supreme Court plays an extremely critical role in ensuring adherence to the rule of law and in strengthening the democracy. Due to this reason, modeling and analysis of small group interactions in the courtroom setting is an important task as it can help in understanding court decision-making. We apply probabilistic model checking for the modeling and analysis of temporal interaction dynamics in the context of the Supreme Court of the United States. We have used the transcripts of the oral arguments of cases from the Supreme Court for constructing a discrete-time Markov reward model (DTMRM). Next, we formulate interesting queries over interaction by using probabilistic computation tree logic (PCTL) and PCTL with rewards and verify them using a probabilistic symbolic model checker (PRISM). Our experimental results show that probabilistic model checking is very effective in identifying trends, hidden patterns, and how justices behave during the trials. These results not only provide valuable feedback to the justices but may also be used by the advocates and law students for finding better ways to present their arguments in the court.

cs.LO

Li iontronics in single-crystalline T-Nb2O5 thin films with vertical ionic transport channels

The niobium oxide polymorph T-Nb2O5 has been extensively investigated in its bulk form especially for applications in fast-charging batteries and electrochemical (pseudo)capacitors. Its crystal structure that has two-dimensional (2D) layers with very low steric hindrance allows for fast Li-ion migration. However, since its discovery in 1941, the growth of single-crystalline thin films and its electronic applications have not yet been realized, likely due to its large orthorhombic unit cell along with the existence of many polymorphs. Here we demonstrate the epitaxial growth of single-crystalline T-Nb2O5 thin films, critically with the ionic transport channels oriented perpendicular to the film's surface. These vertical 2D channels enable fast Li-ion migration which we show gives rise to a colossal insulator-metal transition where the resistivity drops by eleven orders of magnitude due to the population of the initially empty Nb 4d0 states by electrons. Moreover, we reveal multiple unexplored phase transitions with distinct crystal and electronic structures over a wide range of Li-ion concentrations by comprehensive in situ experiments and theoretical calculations, that allow for the reversible and repeatable manipulation of these phases and their distinct electronic properties. This work paves the way to the exploration of novel thin films with ionic channels and their potential applications.

cond-mat.mtrl-sci

Retraining DistilBERT for a Voice Shopping Assistant by Using Universal Dependencies

In this work, we retrained the distilled BERT language model for Walmart's voice shopping assistant on retail domain-specific data. We also injected universal syntactic dependencies to improve the performance of the model further. The Natural Language Understanding (NLU) components of the voice assistants available today are heavily dependent on language models for various tasks. The generic language models such as BERT and RoBERTa are useful for domain-independent assistants but have limitations when they cater to a specific domain. For example, in the shopping domain, the token 'horizon' means a brand instead of its literal meaning. Generic models are not able to capture such subtleties. So, in this work, we retrained a distilled version of the BERT language model on retail domain-specific data for Walmart's voice shopping assistant. We also included universal dependency-based features in the retraining process further to improve the performance of the model on downstream tasks. We evaluated the performance of the retrained language model on four downstream tasks, including intent-entity detection, sentiment analysis, voice title shortening and proactive intent suggestion. We observed an increase in the performance of all the downstream tasks of up to 1.31% on average.

cs.AI

Using Answer Set Programming for Commonsense Reasoning in the Winograd Schema Challenge

The Winograd Schema Challenge (WSC) is a natural language understanding task proposed as an alternative to the Turing test in 2011. In this work we attempt to solve WSC problems by reasoning with additional knowledge. By using an approach built on top of graph-subgraph isomorphism encoded using Answer Set Programming (ASP) we were able to handle 240 out of 291 WSC problems. The ASP encoding allows us to add additional constraints in an elaboration tolerant manner. In the process we present a graph based representation of WSC problems as well as relevant commonsense knowledge. This paper is under consideration for acceptance in TPLP.

cs.AI

Prospect for UV observations from the Moon

Space astronomy in the last 40 years has largely been done from spacecraft in low Earth orbit (LEO) for which the technology is proven and delivery mechanisms are readily available. However, new opportunities are arising with the surge in commercial aerospace missions. We describe here one such possibility: deploying a small instrument on the Moon. This can be accomplished by flying onboard the Indian entry to the Google Lunar X PRIZE competition, Team Indus mission, which is expected to deliver a nearly 30 kgs of payloads to the Moon, with a rover as its primary payload. We propose to mount a wide-field far-UV (130--180 nm) imaging telescope as a payload on the Team Indus lander. Our baseline operation is a fixed zenith pointing but with the option of a mechanism to allow observations of different attitudes. Pointing towards intermediate ecliptic latitude (50 deg or above) ensures that the Sun is at least 40 deg off the line of sight at all times. In this position, the telescope can cover higher galactic latitudes as well as parts of Galactic plane. The scientific objectives of such a prospective are delineated and discussed.

astro-ph.IM

A Two Step Perspective for Kripke Structure Reduction

This paper presents a novel theoretical framework for the state space reduction of Kripke structures. We define two equivalence relations, Kripke minimization equivalence (KME) and weak Kripke minimization equivalence (WKME). We define the quotient system under these relations and show that these relations are strictly coarser than strong (bi)simulation and divergence-sensitive stutter (bi)simulation, respectively. We prove that the quotient system obtained under KME and WKME preserves linear-time and stutter-insensitive linear-time properties. Finally, we show that KME is compositional w.r.t. synchronous parallel composition.

cs.FL