祝贺组里新毕业博士沈剑豪同学在博士期间共同一作(中山大学的熊璟是另一个共一)的论文被自然语言处理顶会EMNLP接收。华为的尹伊淳(我组毕业博士)、刘群等研究员,还有中山大学梁小丹教授等都是合作作者。
论文做了近两年,工作非常深入,这次评委给分也都很高。剑豪今年作为华为少年进入了诺亚团队,未来可期。
Jing Xiong, Jianhao Shen, Ye Yuan, Haiming Wang, Yichun Yin, Zhengying Liu, Lin Li, Zhijiang Guo, Qingxing Cao, Yinya Huang, Chuanyang Zheng, Xiaodan Liang, Ming Zhang, Qun Liu. TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models.
剑豪同学上一篇关于数学问题求解的一作论文 Generate & Rank(ENMLP 2021 Findings,https://t.cn/A6Os3Q9c)论文,被OpenAI团队在一篇论文中引用3次,目前总被引57次。关于该论文的报道https://t.cn/A6xAfzGu 。
论文摘要:自动定理证明(Automated theorem proving, ATP)已成为近年来探索推理能力的热门领域生成语言模型。然而,目前的ATP基准测试主要集中在符号推理上,很少涉及对复数组合推理的理解。在这项工作中,我们提出了TRIGO,这是一个ATP基准,它不仅需要一个模型通过逐步证明来减少三角表达式,而且还评估了生成式LM对公式的推理能力以及处理、分组和因子项的能力。我们从网络上收集三角表达式及其简化形式,手工标注简化过程,并将其翻译成“Lean”形式语言。然后,我们从带注释的样本中自动生成额外的示例来扩展数据集。此外,我们还创建了三个自动生成的不同难度和分布的训练和测试数据集。我们广泛的实验表明,我们提出的TRIGO对高级生成LM提出了新的挑战,包括在大量开源形式定理证明语言数据上预训练的GPT-4,并提供了一个新的工具来研究生成LM在形式和数学推理方面的能力。
图1-3为EMNLP 2023长文的信息。图4-6是我组和华为合作的ENMLP 2021 Findings论文简介。图7-9 是OpenAI的三处引用。
论文做了近两年,工作非常深入,这次评委给分也都很高。剑豪今年作为华为少年进入了诺亚团队,未来可期。
Jing Xiong, Jianhao Shen, Ye Yuan, Haiming Wang, Yichun Yin, Zhengying Liu, Lin Li, Zhijiang Guo, Qingxing Cao, Yinya Huang, Chuanyang Zheng, Xiaodan Liang, Ming Zhang, Qun Liu. TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models.
剑豪同学上一篇关于数学问题求解的一作论文 Generate & Rank(ENMLP 2021 Findings,https://t.cn/A6Os3Q9c)论文,被OpenAI团队在一篇论文中引用3次,目前总被引57次。关于该论文的报道https://t.cn/A6xAfzGu 。
论文摘要:自动定理证明(Automated theorem proving, ATP)已成为近年来探索推理能力的热门领域生成语言模型。然而,目前的ATP基准测试主要集中在符号推理上,很少涉及对复数组合推理的理解。在这项工作中,我们提出了TRIGO,这是一个ATP基准,它不仅需要一个模型通过逐步证明来减少三角表达式,而且还评估了生成式LM对公式的推理能力以及处理、分组和因子项的能力。我们从网络上收集三角表达式及其简化形式,手工标注简化过程,并将其翻译成“Lean”形式语言。然后,我们从带注释的样本中自动生成额外的示例来扩展数据集。此外,我们还创建了三个自动生成的不同难度和分布的训练和测试数据集。我们广泛的实验表明,我们提出的TRIGO对高级生成LM提出了新的挑战,包括在大量开源形式定理证明语言数据上预训练的GPT-4,并提供了一个新的工具来研究生成LM在形式和数学推理方面的能力。
图1-3为EMNLP 2023长文的信息。图4-6是我组和华为合作的ENMLP 2021 Findings论文简介。图7-9 是OpenAI的三处引用。
#Mico星象播报
三天打鱼两天晒网,姗姗来迟的运势播报,来了。[嘻嘻]
10.8-11.7农历壬戌月,首当其冲的好消息:上个月没完成的决定,遗憾,机会在本月有望翻盘得以落实,如果在求职,跳槽,谈合作加把力,因为冥王星在摩羯顺行了。如果事关guo企转型直到24年1月前都可做最后的权利冲刺,争夺,逆袭和优化求存,24年9月之后比较难了。本月大方向味道上,卯戌合火,一改前两个月的严肃拧巴痛苦气氛,不再担忧车祸问题了,特别是原局有木火的孩纸,轻松欢愉洒脱的暂时歇口气。部分人有脱单,恋爱,一见钟情的桃花。
10.9金星进处女座,10.24火水日三星齐聚天蝎座,我们会发现大家在言谈沟通思想上更实际理性了,不喜欢虚头巴脑的,人们做事也趋于稳重同时也带有极端。这个月,可能坟mu殡zang死wang意外的话题,被提及。10.29有一次金牛座满月非常适合清理债务问题及咽喉饮食疾病。
在这个月地支有辰丑未戌者,工作财务感情也有一系列变化,你会感受明显。
随便写了点,就说这么多吧,祝大家开心,找到各种靠谱的搭子。
三天打鱼两天晒网,姗姗来迟的运势播报,来了。[嘻嘻]
10.8-11.7农历壬戌月,首当其冲的好消息:上个月没完成的决定,遗憾,机会在本月有望翻盘得以落实,如果在求职,跳槽,谈合作加把力,因为冥王星在摩羯顺行了。如果事关guo企转型直到24年1月前都可做最后的权利冲刺,争夺,逆袭和优化求存,24年9月之后比较难了。本月大方向味道上,卯戌合火,一改前两个月的严肃拧巴痛苦气氛,不再担忧车祸问题了,特别是原局有木火的孩纸,轻松欢愉洒脱的暂时歇口气。部分人有脱单,恋爱,一见钟情的桃花。
10.9金星进处女座,10.24火水日三星齐聚天蝎座,我们会发现大家在言谈沟通思想上更实际理性了,不喜欢虚头巴脑的,人们做事也趋于稳重同时也带有极端。这个月,可能坟mu殡zang死wang意外的话题,被提及。10.29有一次金牛座满月非常适合清理债务问题及咽喉饮食疾病。
在这个月地支有辰丑未戌者,工作财务感情也有一系列变化,你会感受明显。
随便写了点,就说这么多吧,祝大家开心,找到各种靠谱的搭子。
#王源[超话]##王源[超话]##Roy Wang's Music Walk##王源电影盗火者##bally官宣全球品牌代言人 王源#
“从晨光熹微到红霞漫卷 爱意从未落幕” ,
@TFBOYS-王源
“从晨光熹微到红霞漫卷 爱意从未落幕” ,
@TFBOYS-王源
✋热门推荐