math翻译中文什么意思
丰色 发自 凹非寺
量子位 | 公众号 QbitAI
对标GPT-4代码解释器,港中大最新研究放了个“大招”:
他们开发了一个叫做MathCoder的大模型,数学能力直接在竞赛级“题库”Math上超过GPT-4。
![](https://p0.ssl.img.360kuai.com/t010e147b0b84c03926.jpg)
△ 形象为羊驼是因为MathCoder底层模型来自羊驼家族
做到这一点靠的就是无缝集成代码的能力——
在遇到数学问题时,它不仅能用自然语言推理,还能自动编写和执行代码来建模、推导公式与方程。
![](https://p0.ssl.img.360kuai.com/t01b9e1e7ae139e9a89.jpg)
这样的工作方式无疑和强大的GPT-4代码解释器一样。
在实际评测中,MathCoder除了超过GPT-4,还顺利在MATH和GSM8K两大数据集上取得了开源LLM中的SOTA(打败了8月份才诞生的WizardMath)
![](https://p0.ssl.img.360kuai.com/t01f3b1a8358c698585.jpg)
这个“新王”究竟是如何诞生的?
对标GPT-4代码解释器
总的来看,港大这项研究为了提高大模型的数学推理能力,学习了GPT-4代码解释器的优点和工作原理,提出了一种微调开源语言模型的方法。
该方法最终使大模型无缝集成代码,利用代码来解决数学问题。
具体而言,他们首先提出了一个可以生成高质量数学题的数据集:MathCodeInstruct。
![](https://p0.ssl.img.360kuai.com/t010d09631f32c69627.jpg)
该数据集由两部分组成:
种子数据(D0):主要基于GSM8K和MATH,并利用GPT-4收集答案。
插值数据(D1):让GPT-4基于他们提出的一种叫做“问题插值提示”的方法生成。
如下图所示:
示例1和2分别来自于GSM8K和MATH,1简单,2难一些,GPT-4要做的“插值”就是生成比1难但比2更简单的新问题。
![](https://p0.ssl.img.360kuai.com/t015b05ebf3e3a88069.jpg)
基于以上两类问题,最终MathCodeInstruct数据集一共收集了8万道数学题。
如下表所示,这比业内其他数据集规模稍小一些:
![](https://p0.ssl.img.360kuai.com/t019dc59c040c2bdb84.jpg)
而与其他数据集相比,它的特点之一是同时弥补了GSM8K和MATH这两大重要数据集中不足的部分,给出了一些难度范围更广的问题,增强了数据集的泛化能力。
特点之二是数据集中的每道题目同时包含基于自然语言推理的部分+基于代码解决的部分(包括执行代码和代码输出结果)。
如下图所示,这是对上面GPT-4生成的“插值”问题的解决思路:
![](https://p0.ssl.img.360kuai.com/t01db7fce9221883841.jpg)
在数据集准备好以后,团队便提出了一种定制的监督微调和推理方法,最终在Llama-2和Code Llama上微调出了MathCoder。
![](https://p0.ssl.img.360kuai.com/t015eb0a0c5cf31443d.jpg)
具体而言,该方法使用特殊的token(<|text|>、<|code|>、<|execution|>)来识别训练数据集中哪一部分是自然语言、代码还是结果,让模型学习生成由这些特殊标记划分的自然语言和代码。
在推理期间,该方法还会将动态执行的结果附加到模型的先前预测中。
然后,继续基于这个新版本的输入自回归预测下一个token,以及最后的执行结果。
作者表示,通过这种方式,模型将能够“看到”执行结果,并不断地继续推理。
最终,该方法使微调模型MathCoder以类似GPT-4代码解释器的方式运行。
在评测中,MathCoder凭此直接在MATH和GSM8K这俩数据集上取得了45.2%和83.9%的好成绩。
该成绩证明:
其一,它超过了ChatGPT-3.5和PaLM-2等9个闭源模型,并在以数学竞赛题为主的MATH集上超过GPT-4。
其二,它打败了此前数学领域里最强的开源模型WizardMath,成为新的开源之最。
不过其三,模仿但还未超越,在这俩数据集上,MathCoder还是与GPT-4代码解释器(69.7%和97%高分)存在着一定的性能差距。
![](https://p0.ssl.img.360kuai.com/t016b90bbf55c33a252.jpg)
作者介绍
本研究一共10位作者,除了两位来自香港城市大学以外,其余均来自香港中文大学。
![](https://p0.ssl.img.360kuai.com/t01c80048ac15afe02b.jpg)
共同一作一共有6位,分别是:Ke Wang、Houxing Ren、Aojun Zhou、Zimu Lu、Sichun Luo和Weikang Shi。
通讯作者为李鸿升,为港中大电子工程系副教授,同时也就职于上海人工智能研究室。
论文地址:https://arxiv.org/abs/2310.03731
— 完 —
量子位 QbitAI · 头条号签约
","gnid":"9bf9f5c9cbe8cfdd5","img_data":[{"flag":2,"img":[{"desc":"","height":"1024","title":"","url":"https://p0.ssl.img.360kuai.com/t010e147b0b84c03926.jpg","width":"1024"},{"desc":"","height":"907","title":"","url":"https://p0.ssl.img.360kuai.com/t01b9e1e7ae139e9a89.jpg","width":"1080"},{"desc":"","height":"816","title":"","url":"https://p0.ssl.img.360kuai.com/t01f3b1a8358c698585.jpg","width":"864"},{"desc":"","height":"310","title":"","url":"https://p0.ssl.img.360kuai.com/t010d09631f32c69627.jpg","width":"1066"},{"desc":"","height":"586","title":"","url":"https://p0.ssl.img.360kuai.com/t015b05ebf3e3a88069.jpg","width":"1080"},{"desc":"","height":"368","title":"","url":"https://p0.ssl.img.360kuai.com/t019dc59c040c2bdb84.jpg","width":"706"},{"desc":"","height":"907","title":"","url":"https://p0.ssl.img.360kuai.com/t01db7fce9221883841.jpg","width":"1080"},{"desc":"","height":"190","title":"","url":"https://p0.ssl.img.360kuai.com/t015eb0a0c5cf31443d.jpg","width":"1066"},{"desc":"","height":"925","title":"","url":"https://p0.ssl.img.360kuai.com/t016b90bbf55c33a252.jpg","width":"1080"},{"desc":"","height":"392","title":"","url":"https://p0.ssl.img.360kuai.com/t01c80048ac15afe02b.jpg","width":"1080"}]}],"original":0,"pat":"art_src_3,fts0,sts0","powerby":"pika","pub_time":1696741380000,"pure":"","rawurl":"http://zm.news.so.com/dab476091c5728512c0a49f4e7f2a158","redirect":0,"rptid":"17b7bc0a8fa551e9","rss_ext":[],"s":"t","src":"量子位","tag":[],"title":"对标GPT4代码解释器!港中大让模型写代码解决数学题,得分超越GPT4
阴京采4178数学的英语单词是什么? -
庞建怀19677036222 ______ maths math(美语) mathematics have a maths class
阴京采4178数学的英语单词是什么
庞建怀19677036222 ______ math
阴京采4178英语中“数学”一词是“Math”还是“Maths”?
庞建怀19677036222 ______ 两个都对.math是美语,maths是英语.
阴京采4178math是英语的数学吗?
庞建怀19677036222 ______ math是算术的意思 mathematical 是数学
阴京采4178数学的英文 是 math 还是 maths? -
庞建怀19677036222 ______ 都可以的,意思没有区别,只是习惯问题. 美国习惯用“math” 西方习惯用“maths” ,希望能帮到你
阴京采4178数学的英文怎么写 -
庞建怀19677036222 ______ maths [英] [mæθs][美] [mæθs] n.数学; =mathematics(英); [例句] He taught science and maths.他教科学和数学这两门课.
阴京采4178maths的中文意思 -
庞建怀19677036222 ______ 数学,math 和 maths都是数学的意思,一个是英式写法一个是美式写法
阴京采4178mαth是什么意思 -
庞建怀19677036222 ______ math [mæθ] 释义:n. 数学(等于mathematics) 短语:math model数学模型 math teacher数学老师 math teaching数学教学
阴京采4178英文单词Math 和maths的区别?! -
庞建怀19677036222 ______ 没加s就是数学,专有名词 加了s的是虚拟的概念的词
阴京采4178英语里面数学到底是math 还是maths -
庞建怀19677036222 ______ 都可以的,意思没有区别,只是习惯问题. 美国习惯用“math” 西方习惯用“maths” ,希望能帮到你