猫眼电影记者 梁超仪 报道首次登录送91元红包

近日，浙江大学副教授胡星和团队开发出一款名为 CatCoder 的 AI 框架，它能够读懂一个完整的软件项目，生成准确、可用的代码。在 Java 任务上，它在代码编译通过率和测试通过率上，比业内表现突出的代表之一 RepoCoder 最高提升了 14.44% 和 17.35%。

同时，它拥有很强的通用性。该团队使用不同大小和不同类型的 AI 模型对其进行测试，发现它能够提升所有被测模型的性能。

图 | 胡星（来源：胡星）

胡星告诉 DeepTech：“我们考虑到不同公司或团队使用的编程语言各异，因此选择了两种语言进行验证：应用广泛的 Java 和较新但日益重要的 Rust。我们发现，即使对于 Rust 这种相对低资源（使用人群和训练数据较少）的语言，我们的方法也能生成高质量的代码。”

此外，尤其是对于那些比较小的模型，提醒效果更是尤为明显，能够帮助小模型弥补和大模型之间的差距。同时，它就好比给 AI 配置了一个超级助理，这位助理不仅懂得编程语法，而且熟悉所在项目的所有规定，比如哪些类可以调用、该怎么使用函数，这样一来就能写出既不会“迷路”也不会“犯错”的代码。

胡星还表示：“我们的方法是可插拔的松耦合设计，不需要对大模型本身进行训练。这意味着它可以灵活地与任何大模型或程序分析技术组合，适应日新月异的大模型发展，避免了重复训练的高成本。

其次，它精准解决了工业界的实际痛点——大模型通常不理解企业内部的私有代码库和业务逻辑。通过引入本地上下文，我们的方法能让大模型“读懂”当前代码库，生成更高质量、更领域相关的代码。”

（来源：https://arxiv.org/pdf/2406.03283）

解决代码世界的寻路难题

在使用 AI 写代码时，此前人们所遇到的难题是：当你正在参与开发一个大型游戏，代码分散在成百上千个文件里。假如你需要添加“计算一个角色的跳跃轨迹”的新功能。

对于此前的 AI，即使经过了大量训练可能也只知道物理公式，它并不知道在你这个特定项目中，“角色”这个对象应该如何创建、它的坐标属性叫什么名字、或者“跳跃”这个动作应该调用哪个现成的函数。

CatCoder 的创新之处在于给 AI 提供了两件关键工具：第一个工具是相似代码雷达，能够在相似项目里寻找功能或结构相似的代码作为范例；第二个工具是类型关系地图，它能自动分析并告诉 AI，在当前的代码环境中，有哪些类、接口、函数和属性是可以直接使用的。

这就好比你要在一个巨大的图书馆里找资料，CatCoder 不仅可以帮你找到基本主题类似的书籍也就是相关的代码，还可以直接给你一张图书馆的楼层索引和书籍关联图也就是类型上下文，从而让你生成的代码更加准确和专业。

（来源：https://arxiv.org/pdf/2406.03283）

助力我国发展底层基础软件和工业软件

在使用 CatCoder 的时候，主要分为三大步。

第一步是搜集线索也就是检索相关代码。CatCoder 首先会把整个项目所有的源代码文件智能地切割成小块。然后，它会根据你需要实现的功能描述，启动两种搜索引擎。第一种是关键词搜索，就像传统搜索引擎一样，可以匹配函数名和变量名等关键词。第二种是语义搜索，其能理解代码的含义，找到功能上相似的片段。然后，CatCoder 会把两种搜索结果综合起来，最初最相关的几个代码片段作为参考范例。

第二步是绘制地图也就是提取类型上下文。这是 CatCoder 的独门绝技。对于像 Java、Rust 这类静态类型语言，CatCoder 会启动一个静态分析器。这个分析器可以绘制出项目中所有类和接口之间的依赖关系图。比如，假如你的新函数属于“角色”类，那么分析器就能找出“角色”类能够调用的所有方法，以及它关联的其他类，并把它们的使用说明书整理出来。这张“地图”的存在确保 AI 不会调用一个不存在的函数。

第三步是生成代码。CatCoder 会将前两步搜集到的参考范例和类型地图打包，连带你的任务描述一起形成一个超级详细的提示，提交给背后的 AI 模型。AI 在这样充分的上下文提示下，就能像一位熟悉项目的开发者一样，生出既符合语法、又能完美融入现有项目、甚至能够通过测试的代码。

（来源：https://arxiv.org/pdf/2406.03283）

胡星总结称：“由于我们的研究覆盖了 Rust，而 Rust 多用于开发系统软件，这对于我国发展底层基础软件和工业软件具有积极意义，能帮助更快地生成高质量的代码。”

图 | CatCoder logo（来源：胡星）

基于此成果，她有两个后续计划：一是进一步探索“低资源”编程语言的代码生成，即针对那些大模型训练数据覆盖不足的语言（如 Ruby、Julia），提升其代码生成质量；二是研究“大小模型协同”的代码生成，让强大但昂贵的大模型指导轻量级小模型，使后者能在计算资源有限的实验室或中小企业中部署，提供优质的代码生成服务。

参考资料：

相关论文 https://arxiv.org/pdf/2406.03283

运营/排版：何晨龙

  时事1：现金信誉网站

  12月26日,雪停路净 太原清雪除冰应急机制通过今冬“首考”,福克斯新闻网8日以“吉尔·拜登和道格拉斯·埃姆霍夫因在拜登的国情咨文中令人尴尬的接吻走红：这正常吗”为题，报道称埃姆霍夫“更热烈”地欢迎了第一夫人，“两人都被看见用亲吻对方嘴唇的方式问候对方”。,九游会首页。

  12月26日,海浪蓝色警报 辽宁、山东、福建近岸海域将有中到大浪,据路透社报道，美国国务院当地时间9日表示，美国当天在南太平洋岛国汤加正式开设新的大使馆。路透社老调重弹称，这是美国努力加强在太平洋地区的外交存在以“对抗”中国的一部分。对于相关问题，中国外交部发言人毛宁4月3日曾表示，中方对各国同太平洋岛国发展关系不持异议，同时中方也认为，各国同岛国合作的出发点应当是助力岛国的发展，不应该针对第三方。中国无意同任何人在太平洋岛国地区比拼影响力，也不想搞地缘争夺。,188体育手机登入,AXL游戏,手机赌钱大厅。

  时事2：足球现场直播

  12月26日,长春文旅推介会亮相莫斯科,实际上，“五一”节前河南就开始为省内城市引流造势。最引人关注的就是，文旅界顶流“与辉同行”团队在节前（4月25日至29日）先后到洛阳、郑州、安阳、开封进行河南文旅宣传，河南媒体播放量达28亿，形成良好的引流作用。官方称，郑汴洛安等地人气指数迅速提升，洛阳市成为“全国游客净流入最多的城市”。,yabo22vip官方网站,开元平台注册送365,万博mantex网页登录。

  12月26日,拉萨火车站聚焦旅客出行 用心服务暖旅途,不久前， 德国媒体报道称，朔尔茨于1月29日重申德国不会向乌克兰提供战斗机。朔尔茨当时在接受《每日镜报》采访时说：“在武器系统方面，我的忠告是，不要陷入一种持续不断的竞购战中。”他称：“如果刚做了一个（关于提供主战坦克的）决定，德国又掀起另一轮（军援的）辩论，将给人一种态度轻忽的印象，而且会削弱民众对政府决策的信心。”,mg是什么单位,海东万人在线登录界面,开云体育平台官网入口。

  时事3：米6体育网页版

  12月26日,婚礼上新！来西双版纳体验纯正傣族婚俗,早在4月11日，中科曙光曾公告称，李国杰配偶张蒂华于2023年3月3日至2024年3月14日期间通过集中竞价交易方式买卖公司股票，上述交易构成短线交易，累计成交金额合计1.544亿元；扣除交易佣金、印花税等税费后累计收益58.98万元，所获收益已全额上交至公司。,什么网站可以赌博,绚星app的域名填什么,凯时平台首页。

  12月26日,印尼苏门答腊岛洪灾已致164人遇难,商务部新闻发言人 何亚东：总的来看，全球新能源产业仍处于起步发展、快速成长的阶段，相关产能非但没有过剩，反而是相对不足的。,爱游戏官网,mg游戏注册,半岛彩票官网下载。

  时事4：水果拉霸app下载

  12月26日,记者手记｜美国圣诞季遭遇“价签冲击”,[文/观察者网 王世纯]我国在酒泉卫星发射中心成功发射的可重复使用试验航天器，在轨飞行276天后，于2023年5月8日成功返回预定着陆场。这架“过于先进，无法展示”的神秘飞行器引发了美国有关机构的关注。,娱乐登录2首页,英亚国际是干什么的呀,银河娱乐游戏注册。

  12月26日,整治网络乱象 人工智能服务提供者应提供“显式标识”,2015年，广东就在全国率先启动高水平大学建设。多年来，超强度建设、超常规投入也成为当地“疯狂”补短板的有力印证。,九游个人安全中心登录,必威手机官网版,永利棋牌官网登入。