3 papers
cs.AI2026
PaceReasoner: Label-Free Learning to Answer Briefly from Long Reasoning
Changguo Jia, Zhiyou Xiao, Xinbei Ma +5
Extended chain-of-thought reasoning improves problem-solving performance but increases inference cost and latency, motivating more accurate answers with shorter reasoning. We intro…
cs.AI2026
VeriSkill: A Self-Evolution Framework for Program Verification Skills
Changguo Jia, Tianqi Zhao, Zhiyou Xiao +2
Automating program verification with LLM agents requires generating specifications, annotations, auxiliary lemmas, and tool invocations, all of which depend on reusable skills. A n…
cs.SE2026
Skills Are Not Islands: Measuring Dependency and Risk in Agent Skill Supply Chains
Changguo Jia, Tianqi Zhao, Runzhi He +1
Agent skills package reusable operational knowledge for Large Language Model (LLM) agents, yet as they grow in scope, they become dependency-bearing artifacts whose identities, ver…