11 papers
Skill Use or Skill Theater? Evaluating the Reasoning Backroom in Skill-Augmented Language Agents
Jinwei Hu, Yi Qi, Xinmiao Huang +3
Reusable skills are becoming a standard interface for extending language agents with task procedures. Yet evaluators usually infer skill use from visible reasoning or the agent's o…
SuperPass: Fast-Tracking Blocking Threads to Mitigate Priority Inversion on Mobile Devices
Lei Li, Yu Liang, Riwei Pan +4
Priority inversion occurs when a high-priority thread is delayed by a lower-priority one. Although well studied in real-time systems, its impact in general-purpose OSes (e.g., Andr…
Skill Coverage: A Test Adequacy Metric for Agent Skills
Boyin Tan, Xiaowei Huang, Youcheng Sun
Agent skills encode reusable procedural knowledge for large language model (LLM) agents, and existing benchmarks show that such skills can improve task-level performance. However,…
SkillFuzz: Fuzzing Skill Composition for Implicit Intents Discovery in Open Skill Marketplaces
Jinwei Hu, Yi Dong, Youcheng Sun +1
Large Language Model (LLM)-based agents increasingly automate software engineering tasks through reusable skills, natural-language instruction documents that guide planning and exe…
Agentic Model Checking
Youcheng Sun, Jiawen Liu, Daniel Kroening +1
Verifying LLM-generated systems code is hard: bugs are prevalent, formal specifications are missing, and safety contracts are encoded implicitly at call sites rather than enforced…
Responsible Agentic AI Requires Explicit Provenance
Jinwei Hu, Xinmiao Huang, Qisong He +3
Agentic AI is rapidly proliferating across diverse real-world domains such as software engineering, yet public trust has not kept pace. The central reason is that responsibility, d…