Title: Lifting Traces to Logic: Programmatic Skill Induction with Neuro-Symbolic Learning for Long-Horizon Agentic Tasks

Source: http://arxiv.org/abs/2605.01293v1

Summary:

Proposes a neuro-symbolic framework that lifts interaction traces into modular, logic-grounded programs to solve long-horizon planning challenges. This paradigm enables agents to induce skills from few-shot examples and adapt to dynamic environments by discovering the underlying logic of actions.