English
Related papers

Related papers: Indirect jumps improve instruction sequence perfor…

200 papers

We study sequential programs that are instruction sequences with dynamically instantiated instructions. We define the meaning of such programs in two different ways. In either case, we give a translation by which each program with…

Programming Languages · Computer Science 2010-01-12 J. A. Bergstra , C. A. Middelburg

Every partial function from bit strings of a given length to bit strings of a possibly different given length can be computed by a finite instruction sequence that contains only instructions to set and get the content of Boolean registers,…

Logic in Computer Science · Computer Science 2015-07-28 J. A. Bergstra , C. A. Middelburg

With the availability of various instruction datasets, a pivotal challenge is how to effectively select and integrate these instructions to fine-tune large language models (LLMs). Previous research mainly focuses on selecting individual…

Computation and Language · Computer Science 2024-09-12 Hanyu Zhao , Li Du , Yiming Ju , Chengwei Wu , Tengfei Pan

In this paper, we study a class of self-exciting point processes. The intensity of the point process has a nonlinear dependence on the past history and time. When a new jump occurs, the intensity increases and we expect more jumps to come.…

Probability · Mathematics 2014-12-12 Tzu-Wei Yang , Lingjiong Zhu

Learning to flexibly follow task instructions in dynamic environments poses interesting challenges for reinforcement learning agents. We focus here on the problem of learning control flow that deviates from a strict step-by-step execution…

Machine Learning · Computer Science 2021-06-30 Ethan A. Brooks , Janarthanan Rajendran , Richard L. Lewis , Satinder Singh

Deep learning research over the past years has shown that by increasing the scope or difficulty of the learning problem over time, increasingly complex learning problems can be addressed. We study incremental learning in the context of…

Machine Learning · Computer Science 2016-12-05 Edwin D. de Jong

Despite rapid advances in the capabilities of Large Language Models (LLMs), they continue to struggle with following relatively simple and unambiguous instructions, particularly when compositional structure is involved. Recent work suggests…

Computation and Language · Computer Science 2026-03-12 Prince Kumar , Rudra Murthy , Riyaz Bhat , Danish Contractor

Single-pass instruction sequences under execution are considered to produce behaviours to be controlled by some execution environment. Threads as considered in thread algebra model such behaviours: upon each action performed by a thread, a…

Programming Languages · Computer Science 2008-11-18 J. A. Bergstra , C. A. Middelburg

This study presents incremental correction methods for refining neural network parameters or control functions entering into a continuous-time dynamic system to achieve improved solution accuracy in satisfying the interim point constraints…

Optimization and Control · Mathematics 2024-03-12 Namhoon Cho , Hyo-Sang Shin , Antonios Tsourdos , Davide Amato

Implicit deep learning has recently gained popularity with applications ranging from meta-learning to Deep Equilibrium Networks (DEQs). In its general formulation, it relies on expressing some components of deep learning pipelines…

Machine Learning · Computer Science 2023-05-25 Zaccharie Ramzi , Pierre Ablin , Gabriel Peyré , Thomas Moreau

Language model-based instruction-following systems have lately shown increasing performance on many benchmark tasks, demonstrating the capability of adapting to a broad variety of instructions. However, such systems are often not designed…

Computation and Language · Computer Science 2024-03-20 Rahul Nadkarni , Yizhong Wang , Noah A. Smith

In this paper, we accomplish two objectives: First, we provide a new mathematical characterization of the value function for impulse control problems with implementation delay and present a direct solution method that differs from its…

Optimization and Control · Mathematics 2008-12-10 Erhan Bayraktar , Masahiko Egami

Training large language models (LLMs) with open-domain instruction data has yielded remarkable success in aligning to end tasks and human preferences. Extensive research has highlighted the importance of the quality and diversity of…

Computation and Language · Computer Science 2024-03-01 Yingxiu Zhao , Bowen Yu , Binyuan Hui , Haiyang Yu , Fei Huang , Yongbin Li , Nevin L. Zhang

Instructions trigger a production-centered mechanism in language models. Through a cognitively inspired lens that separates language processing and production, we reveal this mechanism as an asymmetry between the two stages by probing…

Computation and Language · Computer Science 2026-05-14 Andreas Waldis , Leshem Choshen , Yufang Hou , Yotam Perlitz

Fast and precise robot motion is needed in certain applications such as electronic manufacturing, additive manufacturing and assembly. Most industrial robot motion controllers allow externally commanded motion profile, but the trajectory…

Robotics · Computer Science 2019-03-06 Shuyang Chen , John T. Wen

As applications of large language models (LLMs) become increasingly complex, the demand for robust complex instruction following capabilities is growing accordingly. We argue that a thorough understanding of the instruction itself,…

Computation and Language · Computer Science 2026-04-21 Yuancheng Yang , Lin Yang , Xu Wang , Chao Tong , Haihua Yang

Prompting with natural language instructions has recently emerged as a popular method of harnessing the capabilities of large language models. Given the inherent ambiguity present in natural language, it is intuitive to consider the…

Computation and Language · Computer Science 2023-10-20 Mayank Mishra , Prince Kumar , Riyaz Bhat , Rudra Murthy , Danish Contractor , Srikanth Tamilselvam

In many real-world applications, users rely on natural language instructions to guide large language models (LLMs) across a wide range of tasks. These instructions are often complex, diverse, and subject to frequent change. However, LLMs do…

Machine Learning · Computer Science 2026-01-27 Praveen Venkateswaran , Danish Contractor

When personal, assistive, and interactive robots make mistakes, humans naturally and intuitively correct those mistakes through physical interaction. In simple situations, one correction is sufficient to convey what the human wants. But…

Robotics · Computer Science 2021-04-02 Mengxi Li , Alper Canberk , Dylan P. Losey , Dorsa Sadigh

While the design of optimal peak-to-peak controllers/observers for linear systems is known to be a difficult problem, this problem becomes interestingly much easier in the context of interval observers because of the positive nature of the…

Optimization and Control · Mathematics 2016-08-01 Corentin Briat , Mustafa Khammash