首页 > 业界 > 关键词  > 正文

微软开发可高效揪除代码错误的BugLabs人工智能解决方案

2021-12-10 14:16 · 稿源: cnbeta

微软研究院首席研究员 Miltos Alamanis 与高级首席研究主管 Marc Brockschmidt,刚刚在一篇博客文章中介绍了他们新开发的 BugLabs 人工智能。顾名思义。这是一套专门用于发现代码中的错误,帮助开发者更精准、高效地调试其应用程序的 AI 解决方案。而且它的开发过程,与创建生成对抗网络(GAN)的形式大致相同。

(来自:Microsoft Research Blog)

在《借助深度学习查找并修复错误》一文中,微软研究员介绍了他们设置的两个相互对抗的网络。其中一个旨在将小错误引入代码,另一个则旨在发现这些 bug 。

随着深度学习训练的持续推进,AI 的能力也变得愈加完善,最终成为了我们看到的这个特别擅长识别“隐藏在真是代码中的 bug”的人工智能。

这种方法的优点,在于全程无需自我监督或标记数据。Miltos Allamanis 与 Marc Brockschmidt 在报告中提到:

理论上,我们可以将之广泛地应用于‘捉迷藏’游戏 —— 教授机器去识别任务复杂的错误。遗憾的是,这些 bug 通常超出了现代人工智能方法的运用范围。

有鉴于此,研究团队决定更加专注于一组常见的错误 —— 包括不正确的比较(例如使用 = 而不使用或符号、不适当的布尔运算符(与 / 或)、滥用变量(误用 i 而不是 j)等。

系统测试期间,微软研究员特别专注于 Python 代码。一旦检测器通过了训练,即可将它用于检测和修复实际代码中的 bug 。

不过为了均衡性能,他们还是手动注释了 Python Package Index 中包含的某些类型的小错误数据集。

最终与随机错误插入等其它替代方案相比,其“hide-and-seek”训练模型有高达三成的领先优势,前景很是光明。

具体说来是,hide-and-seek 能够自动找到并修复大约 26% 的错误,且其中包括了 19 个此前未知的真实开源 GitHub 代码中的 bug 。

与此同时,现阶段的 AI 模型仍存在许多误报。在投入实际运用之前,显然还需要开展更多的改进。

最后,鉴于微软已经成功地推动了 GitHub 上的 GPT-3 项目,预计 hide-and-seek 也将很快迎来商业化应用。

举报

  • 相关推荐
  • “人工智能强化学习可持续发展计划”发布,“教育普惠+标准共建”助力全球人工智能体系构建

    6月11日,第二届"一带一路"科技交流大会人工智能赋能可持续发展论坛在成都举行。腾讯联合多家机构发起"人工智能强化学习可持续发展计划",包含AI教育普惠和强化学习标准共建两大板块。该计划将面向全球高校开放《人工智能通识课》和《人工智能强化学习专业课》教学资源,助力构建高质量AI教学体系。同时,腾讯开悟人工智能全球公开赛颁奖典礼作为"学赛研产"联动的重要环节,吸引了19个国家和地区的近400所高校队伍参赛。2025年赛事将首次联合全国高校计算机能力挑战赛,围绕AI前沿产业真实场景设置赛题。腾讯还通过"青云计划"为全球顶尖AI人才提供就业机会,推动人才与产业高质量发展。北京大学等机构牵头制定了强化学习系统系列技术标准,填补了领域内标准空白。

  • 极光GPTBots成功完成“生成式人工智能服务登记”

    极光旗下AI开发平台GPTBots.ai近日在广东省网信部门完成生成式人工智能服务登记,成为合规经营的AI服务提供商。该平台严格遵循国家《互联网信息服务深度合成管理规定》和《生成式人工智能服务管理暂行办法》等法规要求,标志着其在技术创新、服务模式和数据安全等方面获得关键合规认可。此次登记体现了极光对法律法规的严格遵守和对安全责任的高度重视,为区域AI生态发展注入新活力。未来,极光将继续优化技术与服务,保障用户权益,推动生成式AI技术的健康规范发展。

  • 清华毕业礼上副校长给LABUBU拨穗:全世界学历最高的labubu来了

    近日,一则“全世界学历最高的Labubu”话题在社交媒体持续发酵,其源头可追溯至2025年清华大学毕业典礼上的一场趣味互动。 典礼现场,一名毕业生在拨穗环节中,将潮流玩偶Labubu带上台,校长或导师配合为其完成“拨穗”仪式,这一充满创意的场景被现场记录并上传至网络,迅速引发全网关注与讨论。 Labubu是泡泡玛特旗下标志性潮玩IP,凭借“丑萌”造型和限量营销策略�

  • 粉丝送Labubu却被水果姐打飞 演唱会大喊“No Labubu”

    近日,一段关于水果姐(Katy Perry)在演唱会上将粉丝递上的Labubu玩偶打飞”的视频在社交媒体上引发热议。 事件发生在水果姐凯蒂佩里(Katy Perry)近期在澳大利亚珀斯演唱会(PERTH NIGHT 1)的粉丝互动环节中,一名台下观众向舞台递出潮玩品牌泡泡玛特旗下IP Labubu玩偶。 水果姐直接用话筒将其打飞,并高喊No Labubu!”耐人寻味的是,Labubu玩偶被打飞至舞台角落,当事粉丝事后

  • 专业AI工具导航与人工智能学习平台AIbase.cn 连接现在与AI未来的智能桥梁

    AI技术正重塑各行各业,从语音助手到自动驾驶,从医疗诊断到金融分析,已从科幻变为现实。面对AI快速发展,许多人感到迷茫:如何跟上技术前沿?如何在AI浪潮中找到机遇?AIbase.cn应运而生,致力于成为连接现在与未来的智能桥梁。平台汇聚全球最新AI资讯、实用技术资源和前沿行业洞察,为新手、开发者和企业家提供一站式解决方案。核心服务体系包括:前沿资讯精选、精品AI工具库、系统化教程、商业化指南和开发者生态支持。通过专业内容与活跃社区,帮助用户在快速变化的AI领域保持敏锐洞察力,实现从概念到应用的跨越。AIbase.cn已成为数万AI从业者的首选平台,期待与您共同探索智能时代的无限可能。

  • 为什么“Labubu们”都选择阿里速卖通出海?

    最近,出海四小龙里最火的就是AliExpress速卖通了。 前几天晚上,来自全球24万年轻人冲进AliExpress速卖通直播间,蹲点抢购Labubu等多款热门IP,各种国家的语言刷爆了直播间的弹幕,把主播和工作人员都震惊了。 泡泡玛特出海的线上渠道非常集中,除了官网,就是AliExpress速卖通上的旗舰店了。所以喜欢泡泡玛特的老外们,手机里几乎都有AliExpress App。

  • 大爷捡到隐藏款labubu挂吸粪车 女子扫码发现是正品

    近日,在湖南长沙街头发生了一件颇具戏剧性的事。一名女子下楼丢垃圾时,偶然间看到一辆吸粪车车尾挂着一个隐藏款labubu挂件。起初,她并未过多在意,但经网友提醒,这个挂件有可能是正品,这让她产生了浓厚的兴趣。 此后,女子连续蹲守了4天。功夫不负有心人,她终于再次等到了那辆吸粪车。女子赶忙上前询问司机大爷关于这个labubu挂件的下落。

  • 为什么手机厂商还没联名Labubu?

    但凡经常混迹于网络,相信很少有人不知道Labubu已经火到何种程度。 这个外表丑萌的潮玩IP,借着盲盒+限量的东风,不仅成为时下最热门的社交符号,还成功点亮了“理财产品”属性,创造了“溢价超20倍仍一娃难求”“初代藏品级薄荷色LABUBU最终以108万的价格成交”“首开线上预售已排至8月”等一众名场面。 遥想上一个在国内引发类似风潮的IP,还是出自百亿票房电影《�

  • 108万的Labubu,才不是王宁的「上限」

    最贵的Labubu诞生了——一款显示为初代藏品薄荷色的Labubu以108万的价格完成竞拍。 这一消息瞬间引爆了社交媒体,不同声音涌入其中,使其瞬间登上了小红书、微博等多个热搜榜前列。有人认为这是“为情绪价值买单的时代”,也有人喊出“这个世界疯了”。

  • 寒武纪荣获2025人工智能领域金牛上市公司科创奖

    2025科创金牛奖获奖名单揭晓,寒武纪凭借在人工智能芯片领域的卓越表现,荣获人工智能领域金牛奖。该奖项由中国证券报打造,是中国资本市场最具影响力的奖项之一。寒武纪专注AI芯片研发,提供云边端一体化智能芯片产品和平台化基础系统软件,其通用型智能芯片产品技术壁垒高、应用场景广。2024年公司研发投入达10.72亿元,新增专利授权314项。此次获奖既是对其科技创新成果的肯定,也是对其推动AI技术产业化应用的认可。未来寒武纪将加速产品迭代升级,为我国人工智能产业发展筑牢技术根基。