SKILL-DISCO: Distilling and Compiling Agent Traces into Reusable Procedural Skills

论文将 FSM-defined scenarios 里的成功轨迹看作未知转移图路径，把可复用 skill 表示成 parameterized finite-state-machine subgraphs。SkillDisCo 从 successful traces 蒸馏 PFSM 子图，再编译成 callable、executable、verifiable procedural skills；ALFWorld 与 WebArena 实验显示成功率提升且 agent turns 减少。它抓住了 agent 反复解相似任务的浪费，方法也比“存一段经验文本”更可执行。