English
Related papers

Related papers: DriftScript: A Domain-Specific Language for Progra…

200 papers

Building deployment-ready LLM agents requires complex orchestration of tools, data sources, and control flow logic, yet existing systems tightly couple agent logic to specific programming languages and deployment models. We present a…

Software Engineering · Computer Science 2025-12-24 Ivan Daunis

Large Language Models (LLMs) hold great potential for web-based interactive applications, including browser games, online education, and digital storytelling platforms. However, LLM-based conversational agents suffer from spatiotemporal…

Human-Computer Interaction · Computer Science 2026-01-21 Geonwoo Bang , DongMyung Kim , Hayoung Oh

Scaling Text-to-speech (TTS) to large-scale datasets has been demonstrated as an effective method for improving the diversity and naturalness of synthesized speech. At the high level, previous large-scale TTS models can be categorized into…

We propose Speech Enhancement based on Drifting Models (DriftSE), a novel generative framework that formulates denoising as an equilibrium problem. Rather than relying on iterative sampling, DriftSE natively achieves one-step inference by…

Neural architecture search (NAS) methods aim to automatically find the optimal deep neural network (DNN) architecture as measured by a given objective function, typically some combination of task accuracy and inference efficiency. For many…

Machine Learning · Computer Science 2021-10-29 Ravi Krishna , Aravind Kalaiah , Bichen Wu , Maxim Naumov , Dheevatsa Mudigere , Misha Smelyanskiy , Kurt Keutzer

Natural language explanations play a critical role in establishing trust and acceptance of automated vehicles (AVs), yet existing approaches lack systematic frameworks for analysing how humans linguistically construct driving rationales…

Artificial Intelligence · Computer Science 2026-02-17 Ashkan Y. Zadeh , Xiaomeng Li , Andry Rakotonirainy , Ronald Schroeter , Sebastien Glaser , Zishuo Zhu

Large Language Models (LLMs) have demonstrated remarkable capabilities across various tasks, yet they often struggle with spatial reasoning. This paper presents a novel neural-symbolic framework that enhances LLMs' spatial reasoning…

Artificial Intelligence · Computer Science 2024-12-13 Rong Wang , Kun Sun , Jonas Kuhn

Harnessing the statistical power of neural networks to perform language understanding and symbolic reasoning is difficult, when it requires executing efficient discrete operations against a large knowledge-base. In this work, we introduce a…

Computation and Language · Computer Science 2017-04-25 Chen Liang , Jonathan Berant , Quoc Le , Kenneth D. Forbus , Ni Lao

Data-driven systems depend on task-relevant data, yet data collection pipelines remain passive and indiscriminate. Continuous logging of multimodal sensor streams incurs high storage costs and captures irrelevant data. This paper proposes a…

Databases · Computer Science 2026-04-16 Philipp Reis , Philipp Rigoll , Martin Zehetner , Jacqueline Henle , Stefan Otten , Eric Sax

Chain-of-thought (CoT) reasoning enables large language models (LLMs) to move beyond fast System-1 responses and engage in deliberative System-2 reasoning. However, this comes at the cost of significant inefficiency due to verbose…

Computation and Language · Computer Science 2025-06-03 Xiaoqiang Wang , Suyuchen Wang , Yun Zhu , Bang Liu

We present OmniVoice, a massively multilingual zero-shot text-to-speech (TTS) model that scales to over 600 languages. At its core is a novel diffusion language model-style discrete non-autoregressive (NAR) architecture. Unlike conventional…

Computation and Language · Computer Science 2026-04-22 Han Zhu , Lingxuan Ye , Wei Kang , Zengwei Yao , Liyong Guo , Fangjun Kuang , Zhifeng Han , Weiji Zhuang , Long Lin , Daniel Povey

Conventional graph-based dependency parsers guarantee a tree structure both during training and inference. Instead, we formalize dependency parsing as the problem of independently selecting the head of each word in a sentence. Our model…

Computation and Language · Computer Science 2016-12-23 Xingxing Zhang , Jianpeng Cheng , Mirella Lapata

Configurable systems typically consist of reusable assets that have dependencies between each other. To specify such dependencies, feature models are commonly used. As feature models in practice are often complex, automated reasoning is…

Artificial Intelligence · Computer Science 2025-05-12 Chico Sundermann , Stefan Vill , Elias Kuiter , Sebastian Krieter , Thomas Thüm , Matthias Tichy

Automated design of chemical formulations is a cornerstone of materials science, yet it requires navigating a high-dimensional combinatorial space involving discrete compositional choices and continuous geometric constraints. Existing Large…

Artificial Intelligence · Computer Science 2026-04-17 Jiangyu Chen

We present Scallop, a language which combines the benefits of deep learning and logical reasoning. Scallop enables users to write a wide range of neurosymbolic applications and train them in a data- and compute-efficient manner. It achieves…

Programming Languages · Computer Science 2023-04-12 Ziyang Li , Jiani Huang , Mayur Naik

Large Language Models (LLMs) excel in complex reasoning tasks but struggle with consistent rule application, exception handling, and explainability, particularly in domains like legal analysis that require both natural language…

Artificial Intelligence · Computer Science 2025-11-11 Albert Sadowski , Jarosław A. Chudziak

We present TRANX, a transition-based neural semantic parser that maps natural language (NL) utterances into formal meaning representations (MRs). TRANX uses a transition system based on the abstract syntax description language for the…

Computation and Language · Computer Science 2018-10-08 Pengcheng Yin , Graham Neubig

We introduce Native Parallel Reasoner (NPR), a teacher-free framework that enables Large Language Models (LLMs) to self-evolve genuine parallel reasoning capabilities. NPR transforms the model from sequential emulation to native parallel…

Computation and Language · Computer Science 2026-05-15 Tong Wu , Yang Liu , Jun Bai , Zixia Jia , Shuyi Zhang , Ziyong Lin , Yanting Wang , Song-Chun Zhu , Zilong Zheng

Recent advances in Reinforcement Learning (RL) have underscored its potential for incentivizing reasoning capabilities of Large Language Models (LLMs). However, existing step-level efforts suffer from costly annotations that limit domain…

Machine Learning · Computer Science 2026-05-20 Junjie Zhang , Guozheng Ma , Shunyu Liu , Zetian Hu , Yongcheng Jing , Ting-En Lin , Yongbin Li , Dacheng Tao

Automated reasoning is critical in domains such as law and governance, where verifying claims against facts in documents requires both accuracy and interpretability. Recent work adopts structured reasoning pipelines that translate natural…

Artificial Intelligence · Computer Science 2026-02-17 Rizky Ramadhana Putra , Raihan Sultan Pasha Basuki , Yutong Cheng , Peng Gao