works on
automated reasoning 1large language models 1program verification 1skill self-evolution 1software verification 1

From the 1 of 1 linked paper 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…