SkillEffect: Checked Lowering for Memory-Bounded Agent Tools
Source
arxiv.org
Author
Yinuo Wang, Yiyu Shi
Date
Why it matters
Skills that specify resource obligations are only as good as what enforces them, and checked lowering with a separate verifier is a concrete alternative to trusting the generated code.
Terms in this piece · Glossary
AI agent — An AI system that doesn't just answer once but works toward a goal in a loop — taking actions, reading the results, and deciding what to do next.
articleBetter, Faster, Stronger: Programmatic Skill Learning Best Reduces Agent CostZixi Huang, Xiheng Wang, Andrew Wang, William Jurayj, Bernal Jim\'enez Guti\'errez, Daniel Khashabi, Nicholas Andrews
articleStealth Apart, Harm Together: Skill Cascading Attacks on Skill-Based Agent SystemsZihao Zhu, Siwei Lyu, Adel Bibi, Baoyuan Wu
articleGrounded Checklist Partial Credit for Agent Skill TrajectoriesSuliu Qin, Lu Yin, Xilu Wang