中文
相关论文

相关论文: Fulfilling Formal Specifications ASAP by Model-fre…

200 篇论文

Automated prompt optimization is crucial for eliciting reliable reasoning from large language models (LLMs), yet most API-only prompt optimizers iteratively edit monolithic prompts, coupling components and obscuring credit assignment,…

计算与语言 · 计算机科学 2026-04-09 Haoyue Liu , Zhichao Wang , Yongxin Guo , Haoran Shou , Xiaoying Tang

Our effort is toward unifying GAN and DRL algorithms into a unifying AI model (AGI or general-purpose AI or artificial general intelligence which has general-purpose applications to: (A) offline learning (of stored data) like GAN in…

人工智能 · 计算机科学 2021-04-22 Aras Dargazany

We introduce a new software toolbox for agent-based simulation. Facilitating rapid prototyping by offering a user-friendly Python API, its core rests on an efficient C++ implementation to support simulation of large-scale multi-agent…

计算金融 · 定量金融 2022-09-22 Peter Belcak , Jan-Peter Calliess , Stefan Zohren

The usability of Reinforcement Learning is restricted by the large computation times it requires. Curriculum Reinforcement Learning speeds up learning by defining a helpful order in which an agent encounters tasks, i.e. from simple to hard.…

机器学习 · 计算机科学 2023-06-12 Tobias Niehues , Ulla Scheler , Pascal Klink

In this paper, we investigate a new form of automated curriculum learning based on adaptive selection of accuracy requirements, called accuracy-based curriculum learning. Using a reinforcement learning agent based on the Deep Deterministic…

机器学习 · 计算机科学 2018-09-24 Pierre Fournier , Olivier Sigaud , Mohamed Chetouani , Pierre-Yves Oudeyer

Following a recent surge in using history-based methods for resolving perceptual aliasing in reinforcement learning, we introduce an algorithm based on the feature reinforcement learning framework called PhiMDP. To create a practical…

人工智能 · 计算机科学 2011-08-19 Phuong Nguyen , Peter Sunehag , Marcus Hutter

In the trial-and-error mechanism of reinforcement learning (RL), a notorious contradiction arises when we expect to learn a safe policy: how to learn a safe policy without enough data and prior model about the dangerous region? Existing…

机器学习 · 计算机科学 2021-11-29 Haitong Ma , Changliu Liu , Shengbo Eben Li , Sifa Zheng , Wenchao Sun , Jianyu Chen

Machine learning methods often assume that input features are available at no cost. However, in domains like healthcare, where acquiring features could be expensive or harmful, it is necessary to balance a feature's acquisition cost against…

机器学习 · 统计学 2025-04-18 Henrik von Kleist , Alireza Zamanian , Ilya Shpitser , Narges Ahmidi

Optimizing large-language model (LLM) training on distributed domain-specific accelerator systems presents significant challenges due to its complex optimization space. Existing optimization methods, however, rely on time-consuming manual…

多智能体系统 · 计算机科学 2025-11-07 Yuran Ding , Xinwei Chen , Xiaofan Zhang , Zongwei Zhou

We propose a novel hierarchical reinforcement learning framework for control with continuous state and action spaces. In our framework, the user specifies subgoal regions which are subsets of states; then, we (i) learn options that serve as…

机器学习 · 计算机科学 2021-02-26 Kishor Jothimurugan , Osbert Bastani , Rajeev Alur

We investigate the use of Reinforcement Learning for the optimal execution of meta-orders, where the objective is to execute incrementally large orders while minimizing implementation shortfall and market impact over an extended period of…

交易与市场微观结构 · 定量金融 2025-11-20 Tomas Espana , Yadh Hafsi , Fabrizio Lillo , Edoardo Vittori

We propose Answer Set Programming (ASP) as an approach for modeling and solving problems from the area of Declarative Process Mining (DPM). We consider here three classical problems, namely, Log Generation, Conformance Checking, and Query…

人工智能 · 计算机科学 2022-09-27 Francesco Chiariello , Fabrizio Maria Maggi , Fabio Patrizi

Reinforcement Learning with Human Feedback (RLHF) and its variants have made huge strides toward the effective alignment of large language models (LLMs) to follow instructions and reflect human values. More recently, Direct Alignment…

Statistical performance bounds for reinforcement learning (RL) algorithms can be critical for high-stakes applications like healthcare. This paper introduces a new framework for theoretically measuring the performance of such algorithms…

机器学习 · 计算机科学 2018-01-03 Christoph Dann , Tor Lattimore , Emma Brunskill

This paper presents Dual Action Policy (DAP), a novel approach to address the dynamics mismatch inherent in the sim-to-real gap of reinforcement learning. DAP uses a single policy to predict two sets of actions: one for maximizing task…

机器学习 · 计算机科学 2024-10-17 Ng Wen Zheng Terence , Chen Jianda

While Soft Actor-Critic (SAC) is highly effective in continuous control, its discrete counterpart (DSAC) performs poorly on challenging discrete-action domains such as Atari. Consequently, starting from DSAC, we revisit the design of…

机器学习 · 计算机科学 2026-05-13 Reza Asad , Reza Babanezhad , Sharan Vaswani

Reinforcement learning (RL) in long horizon and sparse reward tasks is notoriously difficult and requires a lot of training steps. A standard solution to speed up the process is to leverage additional reward signals, shaping it to better…

计算与语言 · 计算机科学 2022-10-14 Thomas Carta , Pierre-Yves Oudeyer , Olivier Sigaud , Sylvain Lamprier

Foundation models contain a wealth of information from their vast number of training samples. However, most prior arts fail to extract this information in a precise and efficient way for small sample sizes. In this work, we propose a…

机器学习 · 计算机科学 2024-04-26 Nico Schiavone , Xingyu Li

In reinforcement learning for partially observable environments, many successful algorithms have been developed within the asymmetric learning paradigm. This paradigm leverages additional state information available at training time for…

机器学习 · 计算机科学 2025-09-09 Gaspard Lambrechts , Damien Ernst , Aditya Mahajan

This paper presents a logic programming-based framework for policy-aware autonomous agents that can reason about potential penalties for non-compliance and act accordingly. While prior work has primarily focused on ensuring compliance, our…

人工智能 · 计算机科学 2025-12-04 Vineel Tummala , Daniela Inclezan