arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2503.05042cs.LGcs.AIcs.CLcs.FL
收藏

可证明正确的自动机嵌入用于最优自动机条件强化学习

Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning

University of California Berkeley(加州大学伯克利分校);Nissan Advanced Technology Center Silicon Valley(日产先进技术研发中心硅谷)

Beyazit Yalcinkaya, Niklas Lauffer, Marcell Vazquez-Chanlatte, Sanjit A. Seshia

AI总结:

本文为自动机条件强化学习提供理论框架,证明其可学习性,并提出可证明正确的自动机嵌入方法,保证最优多任务策略学习,实验验证了理论结果。

摘要:

自动机条件强化学习(RL)在学习多任务策略方面已展现出有前景的结果,这些策略能够在运行时执行时间上扩展的目标,其方法是在训练下游策略之前预训练并冻结自动机嵌入。然而,此前并未给出理论保证。本工作为自动机条件强化学习问题提供了理论框架,并证明其是可能近似正确可学习的。随后,我们提出了一种学习可证明正确的自动机嵌入的技术,从而保证最优多任务策略学习。我们的实验评估证实了这些理论结果。

英文摘要:

Automata-conditioned reinforcement learning (RL) has given promising results for learning multi-task policies capable of performing temporally extended objectives given at runtime, done by pretraining and freezing automata embeddings prior to training the downstream policy. However, no theoretical guarantees were given. This work provides a theoretical framework for the automata-conditioned RL problem and shows that it is probably approximately correct learnable. We then present a technique for learning provably correct automata embeddings, guaranteeing optimal multi-task policy learning. Our experimental evaluation confirms these theoretical results.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑