学术

EMNLP 2025 征稿通知

作者

MLNLP社区是国内外知名的机器学习与自然语言处理社区。EMNLP 2025将于2025年11月在苏州召开，采用ARR投稿通道，截稿日期为2025年5月19日。会议涵盖多种主题，包括但不限于代码模型解释性、跨学科影响等。

哥德尔-Prover超过DeepSeek-Prover，金驰、陈丹琦团队造出当前最强形式化推理模型

作者

近日，普林斯顿大学团队开源了用于自动定理证明的形式化推理模型Goedel-Prover，并在数学问题的自动形式化证明生成任务上达到SOTA。该模型基于两个形式化转换器训练，其中一个基于Lean Workbook中的非形式-形式语言对训练，另一个采用Claude-sonnet-3.5标注的语言对进行训练。通过专家迭代方法提升性能，在miniF2F上的正确率比最优模型提高7.6%。

大模型实践 卡比人贵时代的大模型经验

作者

MLNLP社区致力于推动自然语言处理和机器学习领域内的交流合作。文章提出了一些实验的新方法论，包括选择关键指标指导迭代方向、识别并避免真瓶颈、平衡大中小规模实验以及强化团队协作等。