Buchumschlag

Artifact for "Deductive Synthesis of Reinforcement Learning Agents for Infinite Horizon Tasks"

Fuente: Zenodo

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Wang, Yuning, Zhu, He
Format:	Recurso digital
Veröffentlicht:	Zenodo 2025
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Artifact for "Deductive Synthesis of Reinforcement Learning Agents for Infinite Horizon Tasks"
von: Wang, Yuning, et al.
Veröffentlicht: (2025)

Infinite-Horizon Reinforcement Learning with Multinomial Logistic Function Approximation
von: Park, Jaehyun, et al.
Veröffentlicht: (2024)

FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning
von: Zou, Jia, et al.
Veröffentlicht: (2024)

Training Language Models for Social Deduction with Multi-Agent Reinforcement Learning
von: Sarkar, Bidipta, et al.
Veröffentlicht: (2025)

InfiAgent: An Infinite-Horizon Framework for General-Purpose Autonomous Agents
von: Yu, Chenglin, et al.
Veröffentlicht: (2026)

Statistical Inference of the Value Function for Reinforcement Learning in Infinite Horizon Settings
von: Shi, C., et al.
Veröffentlicht: (2020)

Reinforcement Learning Method for Zero-Sum Linear-Quadratic Stochastic Differential Games in Infinite Horizons
von: Wang, Yiyuan
Veröffentlicht: (2026)

An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification
von: Elad, Neta, et al.
Veröffentlicht: (2023)

Optimistically Optimistic Exploration for Provably Efficient Infinite-Horizon Reinforcement and Imitation Learning
von: Moulin, Antoine, et al.
Veröffentlicht: (2025)

InftyThink+: Effective and Efficient Infinite-Horizon Reasoning via Reinforcement Learning
von: Yan, Yuchen, et al.
Veröffentlicht: (2026)

Deep Reinforcement Learning for Infinite Horizon Mean Field Problems in Continuous Spaces
von: Angiuli, Andrea, et al.
Veröffentlicht: (2023)

TRIAD: Automated Traceability Recovery based on Biterm-enhanced Deduction of Transitive Links among Artifacts
von: Gao, Hui, et al.
Veröffentlicht: (2023)

Policy Zooming: Adaptive Discretization-based Infinite-Horizon Average-Reward Reinforcement Learning
von: Kar, Avik, et al.
Veröffentlicht: (2024)

Infinite-Horizon Reach-Avoid Zero-Sum Games via Deep Reinforcement Learning
von: Li, Jingqi, et al.
Veröffentlicht: (2022)

Provably Efficient Infinite-Horizon Average-Reward Reinforcement Learning with Linear Function Approximation
von: Chae, Woojin, et al.
Veröffentlicht: (2024)

Reinforcement Learning for Long-Horizon Interactive LLM Agents
von: Chen, Kevin, et al.
Veröffentlicht: (2025)

Learning Agent-Compatible Context Management for Long-Horizon Tasks
von: Yi, Lu, et al.
Veröffentlicht: (2026)

Infinite Horizon Markov Economies
von: Goktas, Denizalp, et al.
Veröffentlicht: (2025)

Reinforcement Learning for Infinite-Horizon Average-Reward Linear MDPs via Approximation by Discounted-Reward MDPs
von: Hong, Kihyuk, et al.
Veröffentlicht: (2024)

A Mathematical Programming Approach to Computing and Learning Berk--Nash Equilibria in Infinite-Horizon MDPs
von: Zhu, Quanyan, et al.
Veröffentlicht: (2026)

EvolvingAgent: Curriculum Self-evolving Agent with Continual World Model for Long-Horizon Tasks
von: Feng, Tongtong, et al.
Veröffentlicht: (2025)

Reinforcement Learning with Anticipation: A Hierarchical Approach for Long-Horizon Tasks
von: Yu, Yang
Veröffentlicht: (2025)

ProActor: Timing-Aware Reinforcement Learning for Proactive Task Scheduling Agents
von: Ding, Lei, et al.
Veröffentlicht: (2026)

Reinforcement Learning for Long-Horizon Multi-Turn Search Agents
von: Kalyan, Vivek, et al.
Veröffentlicht: (2025)

DVM: Towards Controllable LLM Agents in Social Deduction Games
von: Zhang, Zheng, et al.
Veröffentlicht: (2025)

Multi-Task Multi-Agent Reinforcement Learning via Skill Graphs
von: Zhu, Guobin, et al.
Veröffentlicht: (2025)

Small Decision Trees for MDPs with Deductive Synthesis
von: Andriushchenko, Roman, et al.
Veröffentlicht: (2025)

The Distributionally Robust Infinite-Horizon LQR
von: Hajar, Joudi, et al.
Veröffentlicht: (2024)

Revac: A Social Deduction Reasoning Agent
von: Mihir S Arya, et al.
Veröffentlicht: (2026)

Revac: A Social Deduction Reasoning Agent
von: Arya, Mihir Shriniwas, et al.
Veröffentlicht: (2026)

When Robots Do the Chores: A Benchmark and Agent for Long-Horizon Household Task Execution
von: Zhu, Zilin, et al.
Veröffentlicht: (2026)

IDEA: Enhancing the Rule Learning Ability of Large Language Model Agent through Induction, Deduction, and Abduction
von: He, Kaiyu, et al.
Veröffentlicht: (2024)

VSearcher: Long-Horizon Multimodal Search Agent via Reinforcement Learning
von: Zhang, Ruiyang, et al.
Veröffentlicht: (2026)

R3R: Decentralized Multi-Agent Collision Avoidance with Infinite-Horizon Safety
von: Vielmetti, Thomas Marshall, et al.
Veröffentlicht: (2025)

Learning from Demonstrations via Capability-Aware Goal Sampling
von: Duan, Yuanlin, et al.
Veröffentlicht: (2026)

AgentFugue: Agent Scaling for Long-Horizon Tasks through Collective Reasoning
von: Hu, Yuyang, et al.
Veröffentlicht: (2026)

Learning on the Job: An Experience-Driven Self-Evolving Agent for Long-Horizon Tasks
von: Yang, Cheng, et al.
Veröffentlicht: (2025)

OS-Marathon: Benchmarking Computer-Use Agents on Long-Horizon Repetitive Tasks
von: Wu, Jing, et al.
Veröffentlicht: (2026)

Artifacts for "WebCQ: Cooperative Multi-Agent Reinforcement Learning for Scalable Web GUI Testing"
von: Anonymous Authors
Veröffentlicht: (2026)

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