TY  - RPRT
TI  - Lifting Traces to Logic: Programmatic Skill Induction with Neuro-Symbolic Learning for Long-Horizon Agentic Tasks
AU  - Jie-Jing Shao
AU  - Haiyan Yin
AU  - Yueming Lyu
AU  - Xingrui Yu
AU  - Lan-Zhe Guo
AU  - Ivor Tsang
AU  - James Kwok
AU  - Yu-Feng Li
PY  - 2026
UR  - https://arxiv.org/abs/2605.01293
ID  - 2605.01293
ER  -