中文
相关论文

相关论文: Elementary Iterated Revision and the Levi Identity

200 篇论文

Natural Language Inference (NLI) datasets contain annotation artefacts resulting in spurious correlations between the natural language utterances and their respective entailment classes. These artefacts are exploited by neural networks even…

机器学习 · 计算机科学 2021-05-28 Joe Stacey , Pasquale Minervini , Haim Dubossarsky , Sebastian Riedel , Tim Rocktäschel

Native Language Identification (NLI) is the task of determining an author's native language (L1) from their non-native writings. With the advent of human-AI co-authorship, non-native texts are routinely corrected and rewritten by large…

计算与语言 · 计算机科学 2026-05-12 Ahmet Yavuz Uluslu , Mark Gales , Kate Knill , Gerold Schneider

We study randomized sketching methods for approximately solving least-squares problem with a general convex constraint. The quality of a least-squares approximation can be assessed in different ways: either in terms of the value of the…

最优化与控制 · 数学 2014-11-04 Mert Pilanci , Martin J. Wainwright

Forgetting a belief acquisition episode may not cause information loss because of the others. Checking whether it does is not obvious, as the contribution of each belief revision is not isolated from the others, and the same information may…

人工智能 · 计算机科学 2025-04-29 Paolo Liberatore

The advent of pre-trained vision-language foundation models has revolutionized the field of zero/few-shot (i.e., low-shot) image recognition. The key challenge to address under the condition of limited training data is how to fine-tune…

计算机视觉与模式识别 · 计算机科学 2024-10-16 Kun Ding , Ying Wang , Gaofeng Meng , Shiming Xiang

Natural language explanations represent a proxy for evaluating explanation-based and multi-step Natural Language Inference (NLI) models. However, assessing the validity of explanations for NLI is challenging as it typically involves the…

计算与语言 · 计算机科学 2024-10-14 Xin Quan , Marco Valentino , Louise A. Dennis , André Freitas

In this work we generalize primitive recursion in order to construct a hierarchy of terminating total recursive operators which we refer to as {\em leveled primitive recursion of order $i$}($\mathbf{PR}_{i}$). Primitive recursion is…

计算机科学中的逻辑 · 计算机科学 2018-01-04 David Cerna

Incremental few-shot object detection aims at detecting novel classes without forgetting knowledge of the base classes with only a few labeled training data from the novel classes. Most related prior works are on incremental object…

计算机视觉与模式识别 · 计算机科学 2023-02-28 Na Dong , Yongqiang Zhang , Mingli Ding , Gim Hee Lee

On-line and batch learning of a perceptron in a discrete weight space, where each weight can take $2 L+1$ different values, are examined analytically and numerically. The learning algorithm is based on the training of the continuous…

统计力学 · 物理学 2009-11-07 Michal Rosen-Zvi , Ido Kanter

Entity Linking (EL) and Relation Extraction (RE) are fundamental tasks in Natural Language Processing, serving as critical components in a wide range of applications. In this paper, we propose ReLiK, a Retriever-Reader architecture for both…

计算与语言 · 计算机科学 2025-05-12 Riccardo Orlando , Pere-Lluis Huguet Cabot , Edoardo Barba , Roberto Navigli

The (extended) AGM postulates for belief revision seem to deal with the revision of a given theory K by an arbitrary formula, but not to constrain the revisions of two different theories by the same formula. A new postulate is proposed and…

人工智能 · 计算机科学 2007-05-23 Michael Freund , Daniel Lehmann

In this paper, we propose a novel method for fast face recognition called L1/2 Regularized Sparse Representation using Hierarchical Feature Selection (HSR). By employing hierarchical feature selection, we can compress the scale and…

计算机视觉与模式识别 · 计算机科学 2016-03-29 Bo Han , Bo He , Tingting Sun , Mengmeng Ma , Amaury Lendasse

Recent works in Natural Language Inference (NLI) and related tasks, such as automated fact-checking, employ atomic fact decomposition to enhance interpretability and robustness. For this, existing methods rely on resource-intensive…

计算与语言 · 计算机科学 2025-09-24 Nicholas Popovič , Michael Färber

While dense retrieval models, which embed queries and documents into a shared low-dimensional space, have gained widespread popularity, they were shown to exhibit important theoretical limitations and considerably lag behind traditional…

信息检索 · 计算机科学 2026-04-09 Adrian Bracher , Svitlana Vakulenko

In this thesis we give an algebraic characterization of the syntax and semantics of simply-typed languages. More precisely, we characterize simply-typed binding syntax equipped with reduction rules via a universal property, namely as the…

计算机科学中的逻辑 · 计算机科学 2012-06-21 Benedikt Ahrens

Despite transformers' impressive accuracy, their computational cost is often prohibitive to use with limited computational resources. Most previous approaches to improve inference efficiency require a separate model for each possible…

计算与语言 · 计算机科学 2021-06-15 Gyuwan Kim , Kyunghyun Cho

Recognizing emotions from speech is a daunting task due to the subtlety and ambiguity of expressions. Traditional speech emotion recognition (SER) systems, which typically rely on a singular, precise emotion label, struggle with this…

声音 · 计算机科学 2024-08-02 Haoqin Sun , Shiwan Zhao , Xiangyu Kong , Xuechen Wang , Hui Wang , Jiaming Zhou , Yong Qin

Large language models are often described as capable of reflective reasoning, yet recursive self-evaluation without external feedback frequently yields reformulation rather than progress. We test this prediction in a cross-provider study of…

机器学习 · 计算机科学 2025-11-06 Bentley DeVilling

Inspired by humans' exceptional ability to master arithmetic and generalize to new problems, we present a new dataset, Handwritten arithmetic with INTegers (HINT), to examine machines' capability of learning generalizable concepts at three…

机器学习 · 计算机科学 2023-04-19 Qing Li , Siyuan Huang , Yining Hong , Yixin Zhu , Ying Nian Wu , Song-Chun Zhu

Text-based person anomaly retrieval has emerged as a challenging task, with most existing approaches relying on complex deep-learning techniques. This raises a research question: How can the model be optimized to achieve greater…

计算机视觉与模式识别 · 计算机科学 2025-12-01 Tien-Huy Nguyen , Huu-Loc Tran , Huu-Phong Phan-Nguyen , Quang-Vinh Dinh