automated reasoning 1large language models 1program verification 1skill self-evolution 1software verification 1
From the 1 of 2 linked papers with an AI index.
2 papers
cs.AI2026
VeriSkill: A Self-Evolution Framework for Program Verification Skills
Changguo Jia, Tianqi Zhao, Zhiyou Xiao +2
The paper introduces VeriSkill, a framework that lets large language model agents automatically improve their program verification abilities by identifying skill gaps, extracting d…
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…