中文
相关论文

相关论文: How do Quantifiers Affect the Quality of Requireme…

200 篇论文

Despite the impressive performance of large language models across various tasks, they often struggle with reasoning under negated statements. Negations are important in real-world applications as they encode negative polarity in verb…

计算与语言 · 计算机科学 2024-11-04 Darian Rodriguez Vasquez , Afroditi Papadaki

Multiple studies have probed representations emerging in neural networks trained for end-to-end NLP tasks and examined what word-level linguistic information may be encoded in the representations. In classical probing, a classifier is…

计算与语言 · 计算机科学 2021-10-26 Rudolf Rosa , Tomáš Musil , David Mareček

Quantifier elimination (QE) is an important problem that has numerous applications. Unfortunately, QE is computationally very hard. Earlier we introduced a generalization of QE called $\mathit{partial}$ QE (or PQE for short). PQE allows to…

计算机科学中的逻辑 · 计算机科学 2023-04-04 Eugene Goldberg

Language Models (LMs) have shown promising performance in natural language generation. However, as LMs often generate incorrect or hallucinated responses, it is crucial to correctly quantify their uncertainty in responding to given inputs.…

计算与语言 · 计算机科学 2024-09-17 Xinmeng Huang , Shuo Li , Mengxin Yu , Matteo Sesia , Hamed Hassani , Insup Lee , Osbert Bastani , Edgar Dobriban

Counterfactual explanations shed light on the decisions of black-box models by explaining how an input can be altered to obtain a favourable decision from the model (e.g., when a loan application has been rejected). However, as noted…

机器学习 · 计算机科学 2023-12-13 Francesco Leofante , Nico Potyka

We provide a qualitative analysis of the descriptions containing negations (no, not, n't, nobody, etc) in the Flickr30K corpus, and a categorization of negation uses. Based on this analysis, we provide a set of requirements that an image…

计算与语言 · 计算机科学 2016-06-28 Emiel van Miltenburg , Roser Morante , Desmond Elliott

Prior work has revealed that positive words occur more frequently than negative words in human expressions, which is typically attributed to positivity bias, a tendency for people to report positive views of reality. But what about the…

计算与语言 · 计算机科学 2021-06-24 Madhusudhan Aithal , Chenhao Tan

We study the role of linguistic context in predicting quantifiers (`few', `all'). We collect crowdsourced data from human participants and test various models in a local (single-sentence) and a global context (multi-sentence) condition.…

计算与语言 · 计算机科学 2018-06-04 Sandro Pezzelle , Shane Steinert-Threlkeld , Raffaela Bernardi , Jakub Szymanik

The scientific community discourages authors of research papers from citing papers that did not influence them. Such "rhetorical" citations are assumed to degrade the literature and incentives for good work. While a world where authors cite…

数字图书馆 · 计算机科学 2023-04-18 Honglin Bao , Misha Teplitskiy

Factual consistency is an essential quality of text summarization models in practical settings. Existing work in evaluating this dimension can be broadly categorized into two lines of research, entailment-based and question answering…

计算与语言 · 计算机科学 2022-05-02 Alexander R. Fabbri , Chien-Sheng Wu , Wenhao Liu , Caiming Xiong

Verification activities are necessary to ensure that the requirements are specified in a correct way. However, until now requirements verification research has focused on traditional up-front requirements. Agile or just-in-time requirements…

软件工程 · 计算机科学 2014-06-19 Petra Heck , Andy Zaidman

When Question-Answering (QA) systems are deployed in the real world, users query them through a variety of interfaces, such as speaking to voice assistants, typing questions into a search engine, or even translating questions to languages…

计算与语言 · 计算机科学 2021-02-17 Abhilasha Ravichander , Siddharth Dalmia , Maria Ryskina , Florian Metze , Eduard Hovy , Alan W Black

Rubrics and oral feedback are approaches to help students improve performance and meet learning outcomes. However, their effect on the actual improvement achieved is inconclusive. This paper evaluates the effect of rubrics and oral feedback…

软件工程 · 计算机科学 2023-07-25 Sebastian Barney , Mahvish Khurum , Kai Petersen , Michael Unterkalmsteiner , Ronald Jabangwe

Quantum computers promise considerable speedups over classical approaches, which has raised interest from many disciplines. Since any currently available implementations suffer from noise and imperfections, achieving concrete speedups for…

新兴技术 · 计算机科学 2023-08-16 Felix Greiwe , Tom Krüger , Wolfgang Mauerer

Citation metrics are becoming pervasive in the quantitative evaluation of scholars, journals and institutions. More then ever before, hiring, promotion, and funding decisions rely on a variety of impact metrics that cannot disentangle…

数字图书馆 · 计算机科学 2015-09-03 Jasleen Kaur , Emilio Ferrara , Filippo Menczer , Alessandro Flammini , Filippo Radicchi

Context and motivation. Requirements Engineering (RE) quality still lacks empirical evidence on how specific requirement defects affect downstream activities. Problem: However, empirical data on the detailed effects of requirements quality…

软件工程 · 计算机科学 2026-03-19 Henning Femmer , Ivan Esau

Requirements form the basis for defining software systems' obligations and tasks. Testable requirements help prevent failures, reduce maintenance costs, and make it easier to perform acceptance tests. However, despite the importance of…

软件工程 · 计算机科学 2024-03-27 Morteza Zakeri-Nasrabadi , Saeed Parsa

Qualitative relationships describe how increasing or decreasing one property (e.g. altitude) affects another (e.g. temperature). They are an important aspect of natural language question answering and are crucial for building chatbots or…

计算与语言 · 计算机科学 2019-08-13 Arindam Mitra , Chitta Baral , Aurgho Bhattacharjee , Ishan Shrivastava

Word vectors require significant amounts of memory and storage, posing issues to resource limited devices like mobile phones and GPUs. We show that high quality quantized word vectors using 1-2 bits per parameter can be learned by…

计算与语言 · 计算机科学 2018-04-03 Maximilian Lam

Annotators exhibit disagreement during data labeling, which can be termed as annotator label uncertainty. Annotator label uncertainty manifests in variations of labeling quality. Training with a single low-quality annotation per sample…

计算机视觉与模式识别 · 计算机科学 2024-03-18 Chen Zhou , Mohit Prabhushankar , Ghassan AlRegib