中文
相关论文

相关论文: Semantic Parsing of Mathematics by Context-based L…

200 篇论文

We present a deep neural architecture that parses sentences into three semantic dependency graph formalisms. By using efficient, nearly arc-factored inference and a bidirectional-LSTM composed with a multi-layer perceptron, our base system…

计算与语言 · 计算机科学 2017-04-27 Hao Peng , Sam Thomson , Noah A. Smith

The success of scene graphs for visual scene understanding has brought attention to the benefits of abstracting a visual input (e.g., image) into a structured representation, where entities (people and objects) are nodes connected by edges…

计算机视觉与模式识别 · 计算机科学 2022-10-28 Mohamed Ashraf Abdelsalam , Zhan Shi , Federico Fancellu , Kalliopi Basioti , Dhaivat J. Bhatt , Vladimir Pavlovic , Afsaneh Fazly

Contextualized representation models such as ELMo (Peters et al., 2018a) and BERT (Devlin et al., 2018) have recently achieved state-of-the-art results on a diverse array of downstream NLP tasks. Building on recent token-level probing work,…

We present evidence that language models (LMs) of code can learn to represent the formal semantics of programs, despite being trained only to perform next-token prediction. Specifically, we train a Transformer model on a synthetic corpus of…

机器学习 · 计算机科学 2024-08-06 Charles Jin , Martin Rinard

Implicit discourse relation recognition is a challenging task as the relation prediction without explicit connectives in discourse parsing needs understanding of text spans and cannot be easily derived from surface features from the input…

计算与语言 · 计算机科学 2018-07-17 Hongxiao Bai , Hai Zhao

Frame semantic parsing is a semantic analysis task based on FrameNet which has received great attention recently. The task usually involves three subtasks sequentially: (1) target identification, (2) frame classification and (3) semantic…

计算与语言 · 计算机科学 2021-09-28 Zhichao Lin , Yueheng Sun , Meishan Zhang

We present Dependent Lambek Calculus, a domain-specific dependent type theory for verified parsing and formal grammar theory. In $\textrm{Lambek}^D$, linear types are used as a syntax for formal grammars,and parsers can be written as linear…

编程语言 · 计算机科学 2025-05-01 Steven Schaefer , Nathan Varner , Pedro H. Azevedo de Amorim , Max S. New

In this paper we describe an algorithm for implicitizing rational hypersurfaces in case there exists at most a finite number of base points. It is based on a technique exposed in math.AG/0210096, where implicit equations are obtained as…

代数几何 · 数学 2007-05-23 Laurent Buse , Marc Chardin

We present a computational model for the semantic interpretation of symmetry in naturalistic scenes. Key features include a human-centred representation, and a declarative, explainable interpretation model supporting deep semantic…

计算机视觉与模式识别 · 计算机科学 2018-09-17 Jakob Suchan , Mehul Bhatt , Srikrishna Vardarajan , Seyed Ali Amirshahi , Stella Yu

We present an accurate and interpretable method for answer extraction in machine reading comprehension that is reminiscent of case-based reasoning (CBR) from classical AI. Our method (CBR-MRC) builds upon the hypothesis that contextualized…

Traditional approaches to semantic parsing (SP) work by training individual models for each available parallel dataset of text-meaning pairs. In this paper, we explore the idea of polyglot semantic translation, or learning semantic parsing…

计算与语言 · 计算机科学 2018-07-12 Kyle Richardson , Jonathan Berant , Jonas Kuhn

The ability to accurately interpret implied meanings plays a crucial role in human communication and language use, and language models are also expected to possess this capability. This study demonstrates that providing language models with…

计算与语言 · 计算机科学 2025-11-20 Takuma Sato , Seiya Kawano , Koichiro Yoshino

In this chapter we provide an overview of computational modeling for semantic change using large and semi-large textual corpora. We aim to provide a key for the interpretation of relevant methods and evaluation techniques, and also provide…

计算与语言 · 计算机科学 2023-04-14 Nina Tahmasebi , Haim Dubossarsky

Automated decision making is often complicated by the complexity of the knowledge involved. Much of this complexity arises from the context sensitive variations of the underlying phenomena. We propose a framework for representing…

人工智能 · 计算机科学 2013-03-25 Tze-Yun Leong

Representing structured text from complex documents typically calls for different machine learning techniques, such as language models for paragraphs and convolutional neural networks (CNNs) for table extraction, which prohibits drawing…

Language models (LMs) are often expected to generate strings in some formal language; for example, structured data, API calls, or code snippets. Although LMs can be tuned to improve their adherence to formal syntax, this does not guarantee…

计算与语言 · 计算机科学 2024-08-06 Terry Koo , Frederick Liu , Luheng He

Large language models (LLMs) often struggle to accurately read and comprehend extremely long texts. Current methods for improvement typically rely on splitting long contexts into fixed-length chunks. However, fixed truncation risks…

计算与语言 · 计算机科学 2025-06-04 Boheng Sheng , Jiacheng Yao , Meicong Zhang , Guoxiu He

We address the extraction of mathematical statements and their proofs from scholarly PDF articles as a multimodal classification problem, utilizing text, font features, and bitmap image renderings of PDFs as distinct modalities. We propose…

人工智能 · 计算机科学 2024-10-14 Shrey Mishra , Antoine Gauquier , Pierre Senellart

Capturing the compositional process which maps the meaning of words to that of documents is a central challenge for researchers in Natural Language Processing and Information Retrieval. We introduce a model that is able to represent the…

计算与语言 · 计算机科学 2014-06-17 Misha Denil , Alban Demiraj , Nal Kalchbrenner , Phil Blunsom , Nando de Freitas

We investigate the mechanisms that arise when transformers are trained to solve arithmetic on sequences where tokens are variables whose meaning is determined only through their interactions in-context. While prior work has studied…

计算与语言 · 计算机科学 2026-02-26 Eric Todd , Jannik Brinkmann , Rohit Gandikota , David Bau
‹ 上一页 1 8 9 10 下一页 ›