Hugging Face Trending Papers

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

Read the original on Hugging Face Trending Papers →

Agents often repeatedly solve similar task instances from scratch, leading to unnecessary reasoning cost and long execution traces. Prior work has explored workflow reuse and executable skill induction, but it remains unclear which task scenarios admit procedural skills and how the shared procedural structure should be represented across successful traces.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at Hugging Face Trending Papers.

arXiv AI
Sep 25

HEXIS: Compiling Skills into Extended Finite State Machines

HEXIS is a system that compiles agent skills into extended finite state machines, separating skill knowledge from control flow. It uses local instructions within states to guide reasoning and generation, while explicit transition conditions manage execution progress. The incremental compiler maps skill clauses and tool interfaces to state operations, aligns development traces to identify missing operations, and updates are validated through static checks and replay of traces, resulting in improved success rates and reduced execution tokens across benchmarks.

By Minghao LI
arXiv AI
2d ago

SkillLens: Adaptive Multi-Granularity Skill Reuse for Cost-Efficient LLM Agents

SkillLens introduces a hierarchical skill-evolution framework that organizes skills into a four-layer graph of policies, strategies, procedures, and primitives, allowing retrieval at mixed granularity. The system first retrieves semantically relevant skill seeds, expands them via a degree‑corrected random walk, and uses a verifier to decide whether to accept, decompose, rewrite, or skip each visited unit. This approach enables agents to reuse compatible subskills while locally adapting mismatched components, and theoretical analysis shows sublinear cost under sparse mismatch assumptions, with empirical results on MuLocbench and ALFWorld demonstrating consistent improvements over strong baselines.

By Ziyang Yu, Yongliang Miao, Liang Zhao, Bowen Zhu, Hasibul Haque