English
Related papers

Related papers: Finite Sentence-Interface Control for Learning Bou…

200 papers

Context-free language theory is a subject of high importance in computer language processing technology as well as in formal language theory. This paper presents a formalization, using the Coq proof assistant, of fundamental results related…

Formal Languages and Automata Theory · Computer Science 2015-11-02 Marcus V. M. Ramos , Ruy J. G. B. de Queiroz , Nelma Moreira , José Carlos Bacelar Almeida

We introduce an extension of hedge automata called bidimensional context-free hedge automata. The class of unranked ordered tree languages they recognize is shown to be preserved by rewrite closure with inverse-monadic rules. We also extend…

Logic in Computer Science · Computer Science 2012-12-21 Florent Jacquemard , Michael Rusinowitch

An image captioning model flexibly switching its language pattern, e.g., descriptiveness and length, should be useful since it can be applied to diverse applications. However, despite the dramatic improvement in generative vision-language…

Computer Vision and Pattern Recognition · Computer Science 2025-07-03 Kuniaki Saito , Donghyun Kim , Kwanyong Park , Atsushi Hashimoto , Yoshitaka Ushiku

Generating expressive and controllable human speech is one of the core goals of generative artificial intelligence, but its progress has long been constrained by two fundamental challenges: the deep entanglement of speech factors and the…

Sound · Computer Science 2025-11-20 Xinyue Yu , Youqing Fang , Pingyu Wu , Guoyang Ye , Wenbo Zhou , Weiming Zhang , Song Xiao

Recently, multi-aspect controllable text generation that controls the generated text in multiple aspects (e.g., sentiment, topic, and keywords) has attracted increasing attention. Although methods based on parameter efficient tuning like…

Computation and Language · Computer Science 2023-05-30 Xuancheng Huang , Zijun Liu , Peng Li , Tao Li , Maosong Sun , Yang Liu

Text-guided semantic manipulation refers to semantically editing an image generated from a source prompt to match a target prompt, enabling the desired semantic changes (e.g., addition, removal, and style transfer) while preserving…

Computer Vision and Pattern Recognition · Computer Science 2025-07-02 Yu Hong , Xiao Cai , Pengpeng Zeng , Shuai Zhang , Jingkuan Song , Lianli Gao , Heng Tao Shen

We give a definition of finitary type theories that subsumes many examples of dependent type theories, such as variants of Martin-L\"of type theory, simple type theories, first-order and higher-order logics, and homotopy type theory. We…

Logic · Mathematics 2021-12-02 Philipp G. Haselwarter , Andrej Bauer

Classifier-free guidance has become a staple for conditional generation with denoising diffusion models. However, a comprehensive understanding of classifier-free guidance is still missing. In this work, we carry out an empirical study to…

Computer Vision and Pattern Recognition · Computer Science 2025-11-25 Xiaoming Zhao , Alexander G. Schwing

The transition from fitting empirical data to achieving true human utility is fundamentally constrained by a granularity mismatch, where fine-grained autoregressive generation is often supervised by coarse or uniform signals. This position…

Computation and Language · Computer Science 2026-02-10 Zhanming Shen , Zeyu Qin , Jiaqi Hu , Wentao Ye , Hao Chen , Xiaomeng Hu , Haokai Xu , Gang Chen , Yi R. Fung , Haobo Wang

Recent advancements in morpheme segmentation primarily emphasize word-level segmentation, often neglecting the contextual relevance within the sentence. In this study, we redefine the morpheme segmentation task as a sequence-to-sequence…

Computation and Language · Computer Science 2024-12-18 Prabin Bhandari , Abhishek Paudel

We present a novel visual instruction tuning strategy to improve the zero-shot task generalization of multimodal large language models by building a firm text-only knowledge base. Existing work lacks sufficient experimentation on the…

Computation and Language · Computer Science 2025-07-01 Jianhong Tu , Zhuohao Ni , Nicholas Crispino , Zihao Yu , Michael Bendersky , Beliz Gunel , Ruoxi Jia , Xin Liu , Lingjuan Lyu , Dawn Song , Chenguang Wang

We consider the problem of learning an unknown context-free grammar when the only knowledge available and of interest to the learner is about its structural descriptions with depth at most $\ell.$ The goal is to learn a cover context-free…

Formal Languages and Automata Theory · Computer Science 2014-04-10 Mircea Marin , Gabriel Istrate

Recent work in language modeling has raised the possibility of self-improvement, where a language models evaluates and refines its own generations to achieve higher performance without external feedback. It is impossible for this…

Artificial Intelligence · Computer Science 2024-12-05 Audrey Huang , Adam Block , Dylan J. Foster , Dhruv Rohatgi , Cyril Zhang , Max Simchowitz , Jordan T. Ash , Akshay Krishnamurthy

This work aims to employ natural language generation (NLG) to rapidly generate items for English language learning applications: this requires both language models capable of generating fluent, high-quality English, and to control the…

Computation and Language · Computer Science 2022-11-30 Kevin Stowe , Debanjan Ghosh , Mengxuan Zhao

We describe a generic construction of non-wellfounded syntax involving variable binding and its monadic substitution operation. Our construction of the syntax and its substitution takes place in category theory, notably by using monoidal…

Programming Languages · Computer Science 2024-05-08 Ralph Matthes , Kobe Wullaert , Benedikt Ahrens

Recombining known primitive concepts into larger novel combinations is a quintessentially human cognitive capability. Whether large neural models in NLP can acquire this ability while learning from data is an open question. In this paper,…

Computation and Language · Computer Science 2023-08-02 Josef Valvoda , Naomi Saphra , Jonathan Rawski , Adina Williams , Ryan Cotterell

Pre-trained large language models (LLMs) have become a cornerstone of modern natural language processing, with their capabilities extending across a wide range of applications and languages. However, the fine-tuning of multilingual LLMs,…

Computation and Language · Computer Science 2025-07-08 Wanru Zhao , Yihong Chen , Royson Lee , Xinchi Qiu , Yan Gao , Hongxiang Fan , Nicholas D. Lane

Natural language generation from structured data mainly focuses on surface-level descriptions, suffering from uncontrollable content selection and low fidelity. Previous works leverage logical forms to facilitate logical…

Computation and Language · Computer Science 2023-05-08 Shumin Deng , Jiacheng Yang , Hongbin Ye , Chuanqi Tan , Mosha Chen , Songfang Huang , Fei Huang , Huajun Chen , Ningyu Zhang

Multimodal data empowers machine learning models to better understand the world from various perspectives. In this work, we study the combination of \emph{text and graph} modalities, a challenging but understudied combination which is…

Social and Information Networks · Computer Science 2023-07-24 Yuexin Li , Bryan Hooi

The paper is about a class of languages that extends context-free languages (CFL) and is stable under shuffle. Specifically, we investigate the class of partially-commutative context-free languages (PCCFL), where non-terminal symbols are…

Formal Languages and Automata Theory · Computer Science 2012-08-15 Wojciech Czerwiński , Sławomir Lasota