猫眼电影记者 吕孟阳 报道首次登录送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：ag真人游戏

  12月25日,再见！10次“破十”的苏神，以及那个在逆境中坚守的苏炳添,一季度重庆民营经济实现增加值4225.78亿元，增长7.1%，对全市经济增长贡献率达到67.5%，拉动经济增长4.2个百分点；国有经济实现增加值2459.67亿元，增长5.1%，对全市经济增长贡献率为27.5%，拉动经济增长1.7个百分点；外商及港澳台经济实现增加值546.58亿元，增长4.0%，对全市经济增长贡献率为5.0%，拉动经济增长0.3个百分点。,贝博体育平台在线登录。

  12月25日,国务院办公厅、中央军委办公厅印发《兵役登记工作规定》,高盛发布研报称，维持商汤-W（00020）“买入”评级，12个月目标价3.53港元。公司生成式AI在2025年上半年收入占比达到77%，主要由私有/公共云和AI项目推动，高盛预计到2030年，集团生成式AI的收入贡献将达到91%。,彩票网在线购买,火狐体育,网上娱乐注册。

  时事2：mg真人官网

  12月25日,医保卡变“购物卡”，威胁你我“救命钱”,后来，张青莲又一次生病做手术，花了2万多块钱，新农合报销了几千元，申请大病医疗补助又遇到同样问题。汪绪金到村委会申诉，村里去镇工商所帮忙注销了相关个体工商信息，才申请到2800元。但申请低保，后来再无下文。“如果申请到低保，我妈妈的手术报销比例会更高。”汪文燕说。,优发国际真人,银河真人国际,皇冠体育线上开户。

  12月25日,通讯：厦金大桥，一条更容易回家的路,这意味着，在这场万亿美元的基建豪赌中，执行力将成为决定投资者究竟是“赚大钱”还是“接飞刀”的关键因素。,aoa体育平台网址,世界杯足球赌场开户,优博国际。

  时事3：b体育充值

  12月25日,中国经济高质量发展前景广阔、未来可期,主要资产管理公司的基础设施和房地产部门，如Blackstone和Brookfield，近年来已显著增加了对数据中心资产的敞口。据美国房地产投资信托基金协会数据，上市房地产公司在2024年将数据中心投资增加了15%，同时缩减了对写字楼和公寓等传统领域的投资。私人资本同样在跟进，CBRE对92家主要投资者（包括私募股权和养老基金）的调查显示，95%的受访者计划增加对数据中心的投资。,2026年世界杯赌球网站,大满贯官方下载,真钱现金娱乐。

  12月25日,秘鲁山体滑坡已致13人死亡,比如在谈到全球可持续化供应链话题时，国家新能源汽车技术创新中心主任兼总经理原诚寅认为，以芯片为代表的汽车产业链条特别典型，分工专业化程度高，各个环节对技术和资本的要求也都非常高，离不开全球合作。比亚迪股份有限公司集团采购处副总经理褚兵华介绍，2022年比亚迪新发布“公平、透明、竞争”为准则的采购“铁律”，随之面向全球的供应链体系也发生翻天覆地的变化。,一二博官网,1xbet,十大赌场排行榜最新。

  时事4：开云体育靠谱

  12月25日,刚果（金）反政府武装称正撤出东部重镇乌维拉,风控原本是核心业务系统的牵头方，现在可能更多由业务部门牵头。但风控始终是融资租赁的痛点。以低空经济为例，我们将风控分为设备风险、运营风险、客户信用风险三大块，建立模型嵌入系统。这样在租前、租中、租后都能清晰看到数据爆发时代的风险预警，这是人为难以做到的。,炸金花不要钱,AG真人可靠吗,米乐官网在线。

  12月25日,从一片树叶、一杯咖啡到美妆小瓶罐 看小产品如何撬动大市场,近期，在成功得到西方援助主战坦克后，乌克兰进一步寻求获得先进的西方战机。然而，多国在援乌战机问题上持谨慎态度。美国总统拜登1月30日否认美国将向乌克兰提供美制F-16型战机。法国、荷兰两国领导人同一天则表示，不排除向乌克兰提供战机的可能，但需警惕冲突进一步扩大的风险。1月31日，英国首相发言人表示，英方认为将英国战斗机提供给乌克兰是“不现实的”。,金宝博188官网下载,亚星游戏最新登录,爱游戏电子网投。