works on
automated reasoning 1coding agents 1human escalation 1large language models 1open source 1program verification 1rule compliance 1skill self-evolution 1software verification 1verification 1

From the 2 of 9 linked papers with an AI index.

collaborators
Showing cs.AIShow all

1 paper · 1 filter

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…