MIT微软为AI量身打造了一套leetcode编程题
本文经AI新媒体量子位(公众号ID:QbitAI)授权转载,转载请联系出处。
你见过这种编程题目描述方式吗?
不用自然语言描述,也没有输入输出示例,你所看到的就只有一个Python函数。
这是来自MIT、Allen AMII和微软的研究人员提出的一种全新的编程题目描述方法:
每个题目都由一个简短的Python函数f定义,目标是找到一个输入x,使f输出true。
这样的题目形式可以让AI审题更容易,人类程序员的理解也不会受到影响。
AI编程,道路真T微是越来越平了啊。
接下来就来详细看看这个研究吧。
没有自然语言描述的编程题目
再来解释一下这种描述方法:
题目采用Python函数的形式,参数为答案。
解题的目标是找到使函数输出为真的输入x,即满足f(x)= true的正确答案。
现在软为请你举一反三:求解一个有1000个不连续“o”的字符串,用这种新形式如何描述呢?
正确答案:
下面是另外两道题目的描述示例。
动态规划—最长单调递增子序列问题:
经典的汉诺塔 (Towers of Hanoi ):
研究人员按此种出题形AI式囊括了各种编程题,提出来一个开源数据集:叫做P3。
该数据集题型非常全面:涉及不同难度、不同领域和不同算法工具等方面的题目。
有简单的字符串操作问题;
有经典如汉诺塔和国际象棋(例如,骑士游历算法和N皇后问题变体)等难题;
也有两量身人挑战寻找最佳策略的题型,如井字棋(Tic-Tac-Toe)、石头剪刀布、珠玑妙算Mastermind等;
还包括来自国际数学奥林匹克竞赛(IMO)和国际大学生程序设计竞赛(ICPC)的题目,如各种图论和数论难题。
一共包含208种题型打造、14万+的题目,并且还在不断更新中。
每个题目都提供了至少一种答案。
这套新颖的编程挑战题库数据集,抓住了编程题目的本质,可用于教AI编程并评估AI的编程能力。
研究人员表示,这套题可以对AI的编程能力进行客观评估。因为不用查看答案,了一就能直接验证解答的正确性。因此,这种题目不会增加AI学习任何答案偏差的负担。
希望这个数据集可以开发出新的AI编程解决方案
不同AI求解器根据这些题目编程的效果如何呢?
研究人员做了一些深入的实验,开发了基于随机森林、Transforme套lr和不同类型GPT-3 prompts的AI求解器,它们采用不同参数枚举、自顶向下的方法,使用这个P3数据集来评估性能。
首先,测试这些求解器在这个数据集上利用此前解决题目的方法来解决新题目的自举效率(bootstrapping eeefficacy)。
结果发现,增加尝试次数可以解决新题目。但它们也能通过学习过去的经验,更快地解决新的难题。
下图为这些AI求解器在不同尝试次数下的已解决题目数量:
而在一项小的用户研究中,21名在Python编程方面有不同经验年限的tc程序员完成了不同难度的30个题目。每个题目最多分配6分钟的时间来解决。
用这个数据集评估AI与人类程序员对编程题难度的感知发现:
人类觉得难的题对AI来说也更难,现阶段情况下,AI求解器能解决的大多数题都是对人类来说比较简单的。
上图表od示人类和AI对各种题目的难度打分,按人类分数排序。人类的难度分数通过超出允许的最大解题时间的平均分数来衡量,AI的则是根据解题所需的尝试次数。
另外,AI用这种形式的题目可以解决了60% 的难题,初学者和有经验的程序员平均分别解决了 76e编% 和 87% 的难题。
总的来说,利用这个新颖的数据集,通过精心设计的AI求解器,可以大大减少AI编程求解所需的尝试次数、并解出更多的题目。
因此,研究人员希望,这个新的编程题库数据集能支持大家研究和开发新的AI编程解决方案,提高A程题I编程的效率和性能。
此前,UC伯克利曾训练AIˢLeetCode,总共5000道题的测试中,AI能做出15%。
不知道使用这个数据集训练,AI编程的能力又会达到什么水平呢?
论文地址:https://arxiv.org/abs/MI2106.05784
开源数据集链接:https://github.com/microsoft/PythonProgrammingPuzzles
(责任编辑:推荐阅读)
- 标签: 千问App 淘宝 Qwen 智能购物
- 标签: SAS 赛仕软件 商业智能 全员裁员
- 标签: MStar 易鑫 BAI资本 Grupo Fórmula
- Apple TV HD被苹果列入“过时产品”名单
- 亚马逊 AI 购物助手 “Amazon Lens Live” 重磅升级:可实时扫描匹配商品
- 标签: VEX机器人
- 标签: 鸿蒙智行 问界 智界 国轩高科
- 阿里云联合南京大学等发起BizDevOps共促计划,助力企业提升组织效能
- Kimi K2-0905 上线 Discord,仍无思考与视觉能力
- 迎风而上2021:如何破题五大数据挑战?
- AWS和Arm展示在云计算中生产规模电子设计自动化
- 百度ALL IN AI:李彦宏现场签发百万美元巨奖,直言AI大模型已达“临界点”
- 标签: 小米SU7 小艺Claw 内存价格 鸿蒙龙虾
- 食草动物有哪些
- 开封后的牛奶可以保存多久
- AI 研究实验室 NeoCognition 获 4000 万美元融资,打造类人学习能力的 AI 智能体
- 标签: Fortinet SASE AI数据中心 财报
- 云安全日报220407:VMware云计算解决方案发现远程代码执行漏洞,需要尽快升级
- 标签: 千问App 淘宝 Qwen 智能购物
- 标签: 锐石创芯 OPPO 哈勃投资 顺为资本
- 微软测试Windows11Copilot新功能:AI智能搜索文件和图片 views+
- Anker推出 AI 语音记录器,尺寸仅如硬币般小巧 views+
- 标签: 中鼎智能 港交所上市 智能物流 仓储自动化 views+
- 鑻规灉绗�笁璐㈠�钀ユ敹814浜跨編鍏冿細鍑€鍒╂鼎鍚屾瘮澧為暱93% views+
- IDC定义“中国新一代终端安全”赛道,亚信安全TrustOne成为实力代言 views+
- DNA机器人进化!这款软件能用几分钟造出复杂结构纳米设备,进入你的身体执行任务 views+
- Elastic 收购 build.security 以扩展云原生环境的安全 views+
- 标签: 多益网络 高新技术企业 广州 views+
- 标签: Vbot维他动力 秦海龙 超能机器狗 具身智能 views+
- 标签: 曹操出行 Robotaxi 曹操大脑 绿色智能通行岛 views+
