祝贺组里新毕业博士沈剑豪同学在博士期间共同一作（中山大学的熊璟是另一个共一）的论文被自然语言处理顶会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-王源
✋热门推荐