From the 2 of 9 linked papers with an AI index.
9 papers
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…
A First Look at Coding Agents' Compliance with AI Contribution Rules in Open-Source Communities
Wenhao Yang, Runzhi He, Minghui Zhou
The paper evaluates how AI coding agents follow open‑source contribution rules, finding they rarely read the rules, can be prompted to disclose and verify contributions, but never…
From Collaboration to Regulation: Characterizing Governance Practice in Three Deep Learning Open Source Communities
Ruiqiao Qiu, Wenhao Yang, Minghui Zhou
Collaboration in Open Source Software (OSS) projects creates substantial coordination and quality-control challenges across diverse contributor bases. Projects address these challe…
File-Level Copying Is an Implicit Dependency in Open Source
Runzhi He, Audris Mockus, Wenhao Yang +1
File-level copying is a widespread but ungoverned form of software reuse. Copying files across repositories reduces supply-chain visibility: it removes the four observable signals…
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…
Code Clone Detection via an AlphaFold-Inspired Framework
Changguo Jia, Yi Zhan, Tianqi Zhao +2
Code clone detection plays a critical role in software maintenance and vulnerability analysis. Substantial methods have been proposed to detect code clones. However, they struggle…