From the 1 of 1 linked paper with an AI index.
1 paper
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…