中文
相关论文

相关论文: Packrat Parsing: Simple, Powerful, Lazy, Linear Ti…

200 篇论文

Large Language Models (LLMs) have demonstrated powerful reasoning capabilities through Chain-of-Thought (CoT) in various tasks, yet the inefficiency of token-by-token generation hinders real-world deployment in latency-sensitive recommender…

The Earley algorithm is a widely used parsing method in natural language processing applications. We introduce a variant of Earley parsing that is based on a ``delayed'' recognition of constituents. This allows us to start the recognition…

cmp-lg · 计算机科学 2007-05-23 Mark-Jan Nederhof , Giorgio Satta

Accelerating programs is typically done by recognizing code idioms matching high-performance libraries or hardware interfaces. However, recognizing such idioms automatically is challenging. The idiom recognition machinery is difficult to…

编程语言 · 计算机科学 2024-01-01 Jonathan Van der Cruysse , Christophe Dubach

Sparse linear algebra is central to many scientific programs, yet compilers fail to optimize it well. High-performance libraries are available, but adoption costs are significant. Moreover, libraries tie programs into vendor-specific…

性能 · 计算机科学 2020-01-29 Philip Ginsbach , Bruce Collie , Michael F. P. O'Boyle

Linear Temporal Logic (LTL) is the standard specification language for reactive systems and is successfully applied in industrial settings. However, many shortcomings of LTL have been identified in the literature, among them the limited…

计算机科学中的逻辑 · 计算机科学 2021-04-30 Daniel Neider , Alexander Weinert , Martin Zimmermann

The LL(finite) parsing strategy for parsing of LL(k) grammars where k needs not to be known is presented. The strategy parses input in linear time, uses arbitrary but always minimal lookahead necessary to disambiguate between alternatives…

编程语言 · 计算机科学 2021-01-21 Peter Belcak

In this paper, we propose a robust parser which can parse extragrammatical sentences. This parser can recover them using only syntactic information. It can be easily modified and extended because it utilize only syntactic information.

cmp-lg · 计算机科学 2016-08-31 Kong Joo Lee , Cheol Jung Kweon , Jungyun Seo , Gil Chang Kim

Computing devices have recently become capable of interacting with their end users via natural language. However, they can only operate within a limited "supported" domain of discourse and fail drastically when faced with an out-of-domain…

计算与语言 · 计算机科学 2019-10-29 Zhichu Lu , Forough Arabshahi , Igor Labutov , Tom Mitchell

In recent years, There has been a variety of research on discourse parsing, particularly RST discourse parsing. Most of the recent work on RST parsing has focused on implementing new types of features or learning algorithms in order to…

计算与语言 · 计算机科学 2015-05-12 Michael Heilman , Kenji Sagae

Looped language models (LoopLMs) perform iterative latent computation to refine internal representations, offering a promising alternative to explicit chain-of-thought (CoT) reasoning. However, existing reinforcement learning (RL) paradigms…

计算与语言 · 计算机科学 2026-03-23 Guo Tang , Shixin Jiang , Heng Chang , Nuo Chen , Yuhan Li , Huiming Fan , Jia Li , Ming Liu , Bing Qin

The design of an LR parser based on interleaving the atomic symbol processing of a context-free backbone grammar with the full constraints of the underlying unification grammar is described. The parser employs a set of reduced constraints…

cmp-lg · 计算机科学 2008-02-03 Christer Samuelsson

Large Language Models (LLMs) achieve superior performance through Chain-of-Thought (CoT) reasoning, but these token-level reasoning chains are computationally expensive and inefficient. In this paper, we introduce Compressed Latent…

计算与语言 · 计算机科学 2026-02-04 Wenhui Tan , Jiaze Li , Jianzhong Ju , Zhenbo Luo , Ruihua Song , Jian Luan

Existing technology can parse arbitrary context-free grammars, but only a single, static grammar per input. In order to support more powerful syntax-extension systems, we propose reflective grammars, which can modify their own syntax during…

编程语言 · 计算机科学 2011-02-14 Paul Stansifer , Mitchell Wand

Hyperedge replacement (HR) grammars can generate NP-complete graph languages, which makes parsing hard even for fixed HR languages. Therefore, we study predictive shift-reduce (PSR) parsing that yields efficient parsers for a subclass of HR…

形式语言与自动机理论 · 计算机科学 2019-03-12 Frank Drewes , Berthold Hoffmann , Mark Minas

Latent reasoning offers a computation-efficient alternative to Chain-of-Thought but often suffers from performance degradation due to distributional misalignment and ambiguous chain definitions. Ideally, latent reasoning should function as…

计算与语言 · 计算机科学 2026-02-02 Jingcheng Deng , Liang Pang , Zihao Wei , Shicheng Xu , Zenghao Duan , Kun Xu , Yang Song , Huawei Shen , Xueqi Cheng

Dictionary learning is a branch of signal processing and machine learning that aims at finding a frame (called dictionary) in which some training data admits a sparse representation. The sparser the representation, the better the…

机器学习 · 计算机科学 2015-02-27 Luc Le Magoarou , Rémi Gribonval

This paper presents LEXR, a framework for explaining the decision making of recurrent neural networks (RNNs) using a formal description language called Linear Temporal Logic (LTL). LTL is the de facto standard for the specification of…

人工智能 · 计算机科学 2020-06-15 Bishwamittra Ghosh , Daniel Neider

Parameter-efficient finetuning (PEFT) methods seek to adapt large neural models via updates to a small number of weights. However, much prior interpretability work has shown that representations encode rich semantic information, suggesting…

In recent years, reinforcement learning and bandits have transformed a wide range of real-world applications including healthcare, finance, recommendation systems, robotics, and last but not least, the speech and natural language…

人工智能 · 计算机科学 2023-10-20 Baihan Lin

This paper describes a probabilistic top-down parser for minimalist grammars. Top-down parsers have the great advantage of having a certain predictive power during the parsing, which takes place in a left-to-right reading of the sentence.…

计算与语言 · 计算机科学 2010-10-12 Thomas Mainguy