Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies
自回归强化学习策略中LTLf约束的神经符号注入
机构 * Sapienza University of Rome(罗马大学)
专题命中 模仿学习与强化学习 :navigation(abstract);分类 cs.AI
AI总结 提出神经符号框架,将LTLf约束编译为DFA并通过可微损失注入Transformer策略,在导航任务中提升约束满足且保持回报竞争力。
Comments Accepted at the Joint Workshop on Statistics and Knowledge Integration for Logic, Learning, Ethical Decisions, and LLMs (SKILLED-LLMs 2026), co-located with KR 2026 and FLoC 2026, Lisbon, Portugal