中文
相关论文

相关论文: Compact non-left-recursive grammars using the sele…

200 篇论文

Retrieval-augmented language models can better adapt to changes in world state and incorporate long-tail knowledge. However, most existing methods retrieve only short contiguous chunks from a retrieval corpus, limiting holistic…

计算与语言 · 计算机科学 2024-02-01 Parth Sarthi , Salman Abdullah , Aditi Tuli , Shubh Khanna , Anna Goldie , Christopher D. Manning

A left-corner parsing algorithm with top-down filtering has been reported to show very efficient performance for unification-based systems. However, due to the nontermination of parsing with left-recursive grammars, top-down constraints…

cmp-lg · 计算机科学 2008-02-03 Noriko Tomuro

In this paper we prove several results on normal forms for linear displacement context-free grammars. The results themselves are rather simple and use well-known techniques, but they are extensively used in more complex constructions.…

形式语言与自动机理论 · 计算机科学 2015-07-31 Alexey Sorokin

Prefix parsing asks whether an input prefix can be extended to a complete string generated by a given grammar. In the weighted setting, it also provides prefix probabilities, which are central to context-free language modeling,…

计算与语言 · 计算机科学 2026-05-05 Clemente Pasti , Andreas Opedal , Timothy J. O'Donnell , Ryan Cotterell , Tim Vieira

We perform neural machine translation of sentence fragments in order to create large amounts of training data for English grammatical error correction. Our method aims at simulating mistakes made by second language learners, and produces a…

计算与语言 · 计算机科学 2021-04-21 Eetu Sjöblom , Mathias Creutz , Teemu Vahtola

We extend the left-to-right Lyndon factorisation of a word to the left Lyndon tree construction of a Lyndon word. It yields an algorithm to sort the prefixes of a Lyndon word according to the infinite ordering defined by Dolce et al.…

数据结构与算法 · 计算机科学 2020-11-26 Golnaz Badkobeh , Maxime Crochemore

This paper presents a unified approach to parsing, in which top-down, bottom-up and left-corner parsers are related to preorder, postorder and inorder tree traversals. It is shown that the simplest bottom-up and left-corner parsers are left…

cmp-lg · 计算机科学 2008-02-03 Dale Gerdemann

We present a new method for characterizing the interpretive possibilities generated by elliptical constructions in natural language. Unlike previous analyses, which postulate ambiguity of interpretation or derivation in the full clause…

cmp-lg · 计算机科学 2016-08-31 Mary Dalrymple , Stuart M. Shieber , Fernando C. N. Pereira

Factorization of statistical language models is the task that we resolve the most discriminative model into factored models and determine a new model by combining them so as to provide better estimate. Most of previous works mainly focus on…

计算与语言 · 计算机科学 2007-05-23 Wei Wang

In this paper, we propose several dictionary learning algorithms for sparse representations that also impose specific structures on the learned dictionaries such that they are numerically efficient to use: reduced number of…

机器学习 · 计算机科学 2020-12-08 Cristian Rusu

Correctness of program transformations in extended lambda calculi with a contextual semantics is usually based on reasoning about the operational semantics which is a rewrite semantics. A successful approach to proving correctness is the…

编程语言 · 计算机科学 2010-12-23 Conrad Rau , Manfred Schmidt-Schauß

Graph-based semantic representations are valuable in natural language processing, where it is often simple and effective to represent linguistic concepts as nodes, and relations as edges between them. Several attempts has been made to find…

形式语言与自动机理论 · 计算机科学 2021-05-10 Johanna Björklund , Frank Drewes , Anna Jonsson

Multiple (simple) context-free tree grammars are investigated, where "simple" means "linear and nondeleting". Every multiple context-free tree grammar that is finitely ambiguous can be lexicalized; i.e., it can be transformed into an…

形式语言与自动机理论 · 计算机科学 2017-07-13 Joost Engelfriet , Andreas Maletti , Sebastian Maneth

Double-negation translations are used to encode and decode classical proofs in intuitionistic logic. We show that, in the cut-free fragment, we can simplify the translations and introduce fewer negations. To achieve this, we consider the…

计算机科学中的逻辑 · 计算机科学 2013-12-20 Mélanie Boudard , Olivier Hermant

In this article we give two different ways of representations of circular words. Representations with tuples are intended as a compact notation, while representations with trees give a way to easily process all conjugates of a word. The…

形式语言与自动机理论 · 计算机科学 2014-05-23 László Hegedüs , Benedek Nagy

Recent transformer language models achieve outstanding results in many natural language processing (NLP) tasks. However, their enormous size often makes them impractical on memory-constrained devices, requiring practitioners to compress…

计算与语言 · 计算机科学 2023-02-09 Mohammadreza Banaei , Klaudia Bałazy , Artur Kasymov , Rémi Lebret , Jacek Tabor , Karl Aberer

The grammar representation of a narrowing tree for a syntactically deterministic conditional term rewriting system and a pair of terms is a regular tree grammar that generates expressions for substitutions obtained by all possible…

计算机科学中的逻辑 · 计算机科学 2019-02-25 Naoki Nishida , Yuya Maeda

A new family of categorial grammars is proposed, defined by enriching basic categorial grammars with a conjunction operation. It is proved that the formalism obtained in this way has the same expressive power as conjunctive grammars, that…

计算机科学中的逻辑 · 计算机科学 2024-05-28 Stepan L. Kuznetsov , Alexander Okhotin

This paper presents a constraint-based morphological disambiguation approach that is applicable languages with complex morphology--specifically agglutinative languages with productive inflectional and derivational morphological phenomena.…

cmp-lg · 计算机科学 2008-02-03 Kemal Oflazer , Gokhan Tur

Recent work by Chatzi et al. and Ravfogel et al. has developed, for the first time, a method for generating counterfactuals of probabilistic Large Language Models. Such counterfactuals tell us what would - or might - have been the output of…

人工智能 · 计算机科学 2026-04-21 Sander Beckers