@misc{indiciae7ebba231cbb7,
  title = {Lifting Traces to Logic: Programmatic Skill Induction with Neuro-Symbolic Learning for Long-Horizon Agentic Tasks},
  author = {Jie-Jing Shao and Haiyan Yin and Yueming Lyu and Xingrui Yu and Lan-Zhe Guo and Ivor Tsang and James Kwok and Yu-Feng Li},
  year = {2026},
  url = {https://arxiv.org/abs/2605.01293},
  note = {Source identifier: 2605.01293}
}