:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Ruiz, Ana María Gómez, Dang, Thao, Donzé, Alexandre
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2604.14440
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications
by: Dang, Thao, et al.
Published: (2024)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
by: Meng, Yue, et al.
Published: (2025)

Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks
by: Liu, Ruijia, et al.
Published: (2025)

Integrating Reinforcement Learning, Action Model Learning, and Numeric Planning for Tackling Complex Tasks
by: Benyamin, Yarin, et al.
Published: (2025)

ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning
by: Ye, Bowen, et al.
Published: (2026)

Temporalizing Confidence: Evaluation of Chain-of-Thought Reasoning with Signal Temporal Logic
by: Mao, Zhenjiang, et al.
Published: (2025)

PricingLogic: Evaluating LLMs Reasoning on Complex Tourism Pricing Tasks
by: Liu, Yunuo, et al.
Published: (2025)

The Devil Is in the Details: Tackling Unimodal Spurious Correlations for Generalizable Multimodal Reward Models
by: Li, Zichao, et al.
Published: (2025)

Diverse Controllable Diffusion Policy with Signal Temporal Logic
by: Meng, Yue, et al.
Published: (2025)

Model Predictive Robustness of Signal Temporal Logic Predicates
by: Lin, Yuanfei, et al.
Published: (2022)

Learning Reward Machines in Cooperative Multi-Agent Tasks
by: Ardon, Leo, et al.
Published: (2023)

Zero-Shot Signal Temporal Logic Planning with Disjunctive Branch Selection in Dynamic Semantic Maps
by: Ye, Bowen, et al.
Published: (2026)

Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning
by: Schön, Oliver, et al.
Published: (2026)

Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks
by: Aria, Hadi Partovi, et al.
Published: (2026)

RewardMap: Tackling Sparse Rewards in Fine-grained Visual Reasoning via Multi-Stage Reinforcement Learning
by: Feng, Sicheng, et al.
Published: (2025)

Reinforcement Learning for Long-Horizon Unordered Tasks: From Boolean to Coupled Reward Machines
by: Levina, Kristina, et al.
Published: (2025)

Temporal Representations for Exploration: Learning Complex Exploratory Behavior without Extrinsic Rewards
by: Mohamed, Faisal, et al.
Published: (2026)

Pseudocode-Injection Magic: Enabling LLMs to Tackle Graph Computational Tasks
by: Gong, Chang, et al.
Published: (2025)

Towards Consistent and Explainable Motion Prediction using Heterogeneous Graph Attention
by: Demmler, Tobias, et al.
Published: (2024)

Sample-Efficient Reinforcement Learning with Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration
by: Kantaros, Yiannis, et al.
Published: (2024)

CLIP-Motion: Learning Reward Functions for Robotic Actions Using Consecutive Observations
by: Dang, Xuzhe, et al.
Published: (2023)

Can Structured Templates Facilitate LLMs in Tackling Harder Tasks? : An Exploration of Scaling Laws by Difficulty
by: Yang, Zhichao, et al.
Published: (2025)

Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
by: Olivieri, Pierriccardo, et al.
Published: (2026)

Tackling the Root of Misinformation by Teaching Laypeople about Logical Fallacies via Socratic Questioning and Critical Argumentation
by: Shi, Minjing, et al.
Published: (2026)

Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications
by: Wang, Jun, et al.
Published: (2023)

Decomposition-based Hierarchical Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
by: Luo, Xusheng, et al.
Published: (2023)

Tackling Heavy-Tailed Rewards in Reinforcement Learning with Function Approximation: Minimax Optimal and Instance-Dependent Regret Bounds
by: Huang, Jiayi, et al.
Published: (2023)

Neural Reward Machines
by: Umili, Elena, et al.
Published: (2024)

Numeric Reward Machines
by: Levina, Kristina, et al.
Published: (2024)

FORM: Learning Expressive and Transferable First-Order Logic Reward Machines
by: Ardon, Leo, et al.
Published: (2024)

Machine vs Machine: Using AI to Tackle Generative AI Threats in Assessment
by: Torkestani, Mohammad Saleh, et al.
Published: (2025)

PaTaRM: Bridging Pairwise and Pointwise Signals via Preference-Aware Task-Adaptive Reward Modeling
by: Jian, Ai, et al.
Published: (2025)

OpenLS-DGF: An Adaptive Open-Source Dataset Generation Framework for Machine Learning Tasks in Logic Synthesis
by: Ni, Liwei, et al.
Published: (2024)

LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration
by: Chen, Zirong, et al.
Published: (2025)

One Subgoal at a Time: Zero-Shot Generalization to Arbitrary Linear Temporal Logic Requirements in Multi-Task Reinforcement Learning
by: Guo, Zijian, et al.
Published: (2025)

Temporal Model On Quantum Logic
by: D'Agostino, Francesco
Published: (2025)

Revealing Algorithmic Deductive Circuits for Logical Reasoning
by: Nguyen, Phuong Minh, et al.
Published: (2026)

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers
by: Raza, Mohammad, et al.
Published: (2025)

Tackling Tuberculosis: A Comparative Dive into Machine Learning for Tuberculosis Detection
by: Hindustani, Daanish, et al.
Published: (2025)

Logical Reasoning with Outcome Reward Models for Test-Time Scaling
by: Thatikonda, Ramya Keerthy, et al.
Published: (2025)