中文
相关论文

相关论文: Minimal Translations from Synchronous Communicatio…

200 篇论文

Large Language Models (LLMs) still struggle with complex logical reasoning. While previous works achieve remarkable improvements, their performance is highly dependent on the correctness of translating natural language (NL) problems into a…

人工智能 · 计算机科学 2025-10-14 Xiangyu Wang , Haocheng Yang , Fengxiang Cheng , Fenrong Liu

Consistency, which refers to the capability of generating the same predictions for semantically similar contexts, is a highly desirable property for a sound language understanding model. Although recent pretrained language models (PLMs)…

计算与语言 · 计算机科学 2021-08-17 Myeongjun Jang , Deuk Sin Kwon , Thomas Lukasiewicz

Large Language Models (LLMs) demonstrate strong in-context learning abilities, yet their effectiveness in text classification depends heavily on prompt design and incurs substantial computational cost. Conformal In-Context Learning (CICLe)…

计算与语言 · 计算机科学 2025-12-08 Ippokratis Pantelidis , Korbinian Randl , Aron Henriksson

This work explores transfer learning from several synthetic languages to English. We investigate the structure of the embeddings in the fine-tuned models, the information they contain, and the capabilities of the fine-tuned models on simple…

计算与语言 · 计算机科学 2025-05-22 Mikhail Budnikov , Ivan Yamshchikov

Simultaneous translation is widely useful but remains one of the most difficult tasks in NLP. Previous work either uses fixed-latency policies, or train a complicated two-staged model using reinforcement learning. We propose a much simpler…

计算与语言 · 计算机科学 2019-06-25 Baigong Zheng , Renjie Zheng , Mingbo Ma , Liang Huang

Constraint Handling Rules is an effective concurrent declarative programming language and a versatile computational logic formalism. CHR programs consist of guarded reactive rules that transform multisets of constraints. One of the main…

分布式、并行与集群计算 · 计算机科学 2018-04-09 Thom Fruehwirth

Small Language Models (SLMs) have gained substantial attention due to their ability to execute diverse language tasks successfully while using fewer computer resources. These models are particularly ideal for deployment in limited…

计算与语言 · 计算机科学 2025-05-30 Tanjil Hasan Sakib , Md. Tanzib Hosain , Md. Kishor Morol

Constraint Programming (CP) is a powerful paradigm for solving combinatorial problems, yet translating natural language problem descriptions into executable models remains a significant bottleneck. While Large Language Models (LLMs) show…

人工智能 · 计算机科学 2026-05-05 Yuliang Song , Eldan Cohen

Exponential error bounds achievable by universal coding and decoding are derived for frame-asynchronous discrete memoryless %asynchronous multiple access channels with two senders, via the method of subtypes, a refinement of the method of…

信息论 · 计算机科学 2020-02-04 Lóránt Farkas , Tamás Kói

We introduce XCOMPS in this work, a multilingual conceptual minimal pair dataset covering 17 languages. Using this dataset, we evaluate LLMs' multilingual conceptual understanding through metalinguistic prompting, direct probability…

The sliding window approach provides an elegant way to handle contexts of sizes larger than the Transformer's input window, for tasks like language modeling. Here we extend this approach to the sequence-to-sequence task of document parsing.…

计算与语言 · 计算机科学 2023-05-30 Sadhana Kumaravel , Tahira Naseem , Ramon Fernandez Astudillo , Radu Florian , Salim Roukos

Recent studies suggest that very small language models (SLMs) can generate surprisingly coherent text when trained on simplified, child-directed corpora such as TinyStories. These findings have been interpreted as evidence that readability…

计算与语言 · 计算机科学 2025-10-17 Ivan Lee , Taylor Berg-Kirkpatrick

In this paper, we propose a new approach to building synchronization primitives, dubbed "lwlocks" (short for light-weight locks). The primitives are optimized for small memory footprint while maintaining efficient performance in low…

操作系统 · 计算机科学 2011-09-14 Nitin Garg , Ed Zhu , Fabiano C. Botelho

Recent work has shown that scaling large language models (LLMs) improves their alignment with human brain activity, yet it remains unclear what drives these gains and which representational properties are responsible. Although larger models…

An old dream of concurrency theory and programming language semantics has been to uncover the fundamental synchronization mechanisms which regulate situations as different as game semantics for higher-order programs, and Hoare logic for…

计算机科学中的逻辑 · 计算机科学 2020-05-12 Paul-André Melliès , Léo Stefanesco

Despite their strong performance, large language models (LLMs) face challenges in real-world application of lexical simplification (LS), particularly in privacy-sensitive and resource-constrained environments. Moreover, since vulnerable…

计算与语言 · 计算机科学 2025-09-30 Akio Hayakawa , Stefan Bott , Horacio Saggion

Large Language Models (LLMs) struggle with complex reasoning due to limited diversity and inefficient search. We propose Soft Reasoning, an embedding-based search framework that optimises the embedding of the first token to guide…

计算与语言 · 计算机科学 2025-09-16 Qinglin Zhu , Runcong Zhao , Hanqi Yan , Yulan He , Yudong Chen , Lin Gui

As a new communication paradigm, semantic communication has received widespread attention in communication fields. However, since the decoding of semantic signals relies on contextual knowledge, misalignment between the starting position of…

信号处理 · 电气工程与系统科学 2023-12-19 Xiaoyi Liu , Haotai Liang , Chen Dong , Xiaodong Xu

Large language models (LLMs) have revolutionized the landscape of Natural Language Processing systems, but are computationally expensive. To reduce the cost without sacrificing performance, previous studies have explored various approaches…

计算与语言 · 计算机科学 2024-10-01 Chia-Hsuan Lee , Hao Cheng , Mari Ostendorf

Operator precedence languages (OPL) enjoy the local parsability property, which essentially means that a code fragment enclosed within a pair of markers -- playing the role of parentheses -- can be compiled with no knowledge of its external…

形式语言与自动机理论 · 计算机科学 2023-09-11 Michele Chiari , Dino Mandrioli , Matteo Pradella