新闻中心
码农狂喜!微软提出CodePlan,跨168个代码库编码任务,LLM自动化完成
对于大模型来说,擅长的是本地化编码任务。
如果任务涉及多个相互依赖的文件,LLM无法解决这个问题
微软研究人员为此设计了一个名为CodePlan的任务无关的神经网络框架
☞☞☞AI 智能聊天, 问答助手, AI 智能搜索, 免费无限量使用 DeepSeek R1 模型☜☜☜
图片
论文地址:https://arxiv.org/pdf/2309.12499.pdf
论文中,CodePlan综合了多步骤编辑链(chain-of-edits),是一种将程序分析、规划和LLM结合在一起的新方法。
一起来具体看看,CodePlan是如何设计的?
CodePlan:大模型+规划
软件工程活动中,例如软件包迁移、修复静态分析或测试的错误报告,以及向代码库添加类型提示或其他规范,涉及到对整个代码存储库的普遍编辑。
研究人员计划这些活动,以实现"存储库级别的编码任务"
编码工具如GitHub Copilot、Code Whisperer已经获得了大模型能力的支持,为码农在本地化编码问题上提供了解决方案
然而,事实是,「存储库级别的编码任务」更加复杂,无法直接通过LLM解决,因为存储库中的代码是相互依赖的,整个存储库可能太大而无法纳入提示
这项研究中,微软团队将库级编码框架作为一个规划问题,并提出了一个任务不可知的框架,称为CodePlan。
CodePlan综合了一个多步骤的编辑链(计划) ,其中每一步都会调用代码位置上的LLM。该代码位置上的上下文来自整个存储库、以前的代码更改和特定于任务的指令。
CodePlan是一种新型组合,它基于增量依赖分析、变更可能影响分析和自适应规划算法
图片
如下图,展示了复数库API的变化,微软研究人员的任务是根据这一变化迁移代码库。
图片
在图3的左侧展示了代码库中与使用复数库相关的部分
具体来说,Create.cs文件中的方法func,调用了库中的create_complex方法,Process.cs文件中的方法Process.cs调用了func。
图片
研究人员将任务描述和func主体从图1传递给LLM,以生成修改后的func代码,如图3右侧所示
可以看到,LLM已经正确地编辑了对create_complex API的调用,以便它返回一个Complex类型的对象,而不是两个浮点值的元组。
注意,这个编辑导致了方法func的签名发生了变化——它现在返回了一个Complex类型的对象。
需要进行修改的是:需要修改方法func的调用者,例如在Process.cs文件中的process方法,如图3左下角所示。如果不对process方法的主体进行适当的修改,代码将无法构建!
图3右下方显示了对process方法的适当修改,它能使版本库达到一致的状态,从而在编译时不会出错。
研究人员的主要任务是建立一个「存储库级别的编码系统」,该系统能够自动生成编辑所需的派生规范
LLM驱动的库级编码任务定义如下:
图片
在CodePlan的整体框架中,输入包括一个存储库、一个通过自然语言指令或一组初始代码编辑表达种子规范的任务、一个正确性oracle和一个LLM
CodePlan创建了一个计划图,其中每个节点都代表LLM需要执行的代码编辑任务,而边表示目标节点需要在源节点之后执行
CodePlan监控代码编辑,并自适应地扩展计划图。
一旦计划中的所有步骤都已完成,存储库将由oracle进行分析。如果oracle验证了资源库,则任务完成。如果发现错误,错误报告将作为下一轮计划生成和执行的种子规范。
图片
此外,CodePlan算法还维护了一个依赖关系图,图4说明了依赖关系图的结构。
图片
刷新SOTA
研究人员对CodePlan在两个存储库级任务上的有效性进行了评估:包迁移(C#)和时态代码编辑(Python)
每个任务在多个代码库上进行评估,每个代码库都需要对多个文件(2-97个文件)进行相互依赖的更改。
图片
以前从未有过使用LLM自动完成这种复杂程度的编码任务
研究结果显示,与基准相比,CodePlan更符合基本事实,能够使5/6个存储库通过有效性检查,例如无错误构建和正确的代码编辑
总的来说,CodePlan为自动化复杂的库级编码任务提供了一种有前途的方法,既提高了生产效率,又提高了准确性
它成功地应对了许多挑战,为高效可靠的软件工程实践
开辟了新的可能性
参考资料:https://www.php.cn/link/23b1f559d8bd157d0d741c83957ed4f2
Glean
Glean是一个专为企业团队设计的AI搜索和知识发现工具
210
查看详情
以上就是码农狂喜!微软提出CodePlan,跨168个代码库编码任务,LLM自动化完成的详细内容,更多请关注其它相关文章!
# 代码库
# 唯品会如何营销推广产品
# 电商聊seo
# 黄山seo搜索优化价格
# 中国眼镜行业关键词排名
# 乐亭网站推广地址
# 安顺网站关键词排名公司
# 苏州网站推广怎样做的好
# 相互依赖
# 所示
# 如图
# 忘记密码
# 库中
# 是一种
# 的是
# 多个
# 软件工程
# 微软
# copilot
# github copilot
# codeplan
# 编码
# 最好的SEO黑帽方法
# 怎么利用博客优化网站
# 衡水精品网站建设价格
相关栏目:
【
行业资讯67740 】
【
技术百科0 】
【
网络运营39195 】
相关推荐:
win10系统如何打开cmd命令
python和typescript学哪个
2026年将会大爆发的15个新科技
单片机怎么连接电路图
系统如何装在固态硬盘
typescript如何生成uuid
如何查看邮件域名解析
基金市盈率是什么意思
硬件如何执行命令
喇叭上POWER4欧是什么意思
typescript学多久可以学会
苹果16颜色有哪些
51单片机怎么连接端口
金色cmyk色值是多少
新固态硬盘如何装系统
j*a怎么处理json数组
固态硬盘2m如何修复
单片机速度怎么看
华硕k20ce怎么装win7
j*a怎么存放数组中
面包车收音机power是什么意思
sql isnull函数如何使用
如何用固态硬盘做缓存
solo交友软件怎么恢复聊天记录
学typescript有什么用
固态硬盘损坏如何修复
哪个牌子的折叠屏手机好
animal是什么意思
夸克文字口令是什么意思
苹果16哪些功能好用
光刻机是干什么用的
5g手机怎么没视频通话功能
typescript如何开发
市盈率ttm是什么意思
夸克搜题的原理是什么
如何查看网站域名解析
数组和J*A怎么打
苹果16系统网站有哪些
苹果16有哪些变化尺寸
什么网址不能域名解析
使用typescript对团队有什么要求
镜像ao3链接入口
1kb等于多少字节
ai如何重复使用上一命令
固态硬盘 如何分区
如何注释typescript
j*a数组求和怎么算
华为如何面对苹果16
如何用命令下载服务器网站
苹果16适合哪些机升级


2023-10-04
浏览次数:次
返回列表