Search papers, labs, and topics across Lattice.
This paper introduces SkillZip, a novel framework for contract-preserving graph compression that addresses the challenges of efficiently managing large skill libraries for agents using Large Language Models (LLMs). By rewriting recurring contract-valid motifs into reversible macros while maintaining critical properties such as dependency closure and verifier reachability, SkillZip enables significant compression without sacrificing the integrity of the procedural knowledge. Experimental results demonstrate that SkillZip outperforms existing methods by up to 12.2 points, achieving a 3.46x compression ratio with high preservation rates of dependencies and verification capabilities.
SkillZip achieves a remarkable 3.46x compression ratio while preserving 99.2% of dependencies and 98.7% of verifier reachability, revolutionizing how agent skill libraries can be managed.
Large Language Models (LLMs) increasingly act as agents whose procedural knowledge is stored in reusable skill packages and loaded at inference time. As skill libraries grow, a central challenge is to expose the smallest sufficient executable context under a limited context budget. Existing systems struggle to reuse routines below the whole-skill level, preserve procedural contracts during compression, keep compressed routines executable and expandable, and update the compressed library as skills evolve. These challenges reveal a unit mismatch: skills are retrieved as packages, compressed as text, and converted into execution graphs only after retrieval, whereas reliable reuse requires a contract-bearing procedural unit. We propose SkillZip, an execution-aware procedural abstraction framework that performs contract-preserving compression over section-level graphs. SkillZip rewrites recurring contract-valid motifs into reversible ported macros while preserving boundary signatures, dependency closure, verifier reachability, and source-level expansion. At inference time, it hydrates a compact, dependency-closed context and expands macros only when required. ReZip further integrates new skills and revises risky macros using execution evidence. Comprehensive experiments1 on technical and embodied agent benchmarks show SkillZip consistently outperforms the strongest baseline by up to 12.2 points, while achieving a 3.46x compression ratio with 99.2% dependency preservation and 98.7% verifier reachability. Scaling analyses further confirm robust retrieval across skill libraries ranging from 200 to 100K skills.
