近日，东北大学计算机学院本科大四学生卢旺悦（计算机2205班）作为第一作者的学术论文《Automated Formalization via Conceptual Retrieval-Augmented LLMs》被机器学习领域国际顶级会议ICLR 2026（International Conference on Learning Representations，国际学习表征会议）正式录用。ICLR是由图灵奖得主Yoshua Bengio和Yann LeCun创立的国际学术会议，是机器学习三大顶级会议之一，在人工智能、深度学习及表征学习领域具有极高的国际影响力。该会议以评审机制严苛、前瞻性强著称，录用论文代表了相关领域最前沿的研究进展。
卢旺悦等人在张天成教授和蚂蚁研究院杜仑研究员、丹麦奥尔堡大学刘恒宇博士后的指导下，针对大模型在自动形式化过程中的模型幻觉和语义鸿沟问题，提出了概念驱动的检索增强数学形式化框架（CRAMF）。该框架从标准数学库中提取并索引形式化定义，对齐核心数学概念，自动化构建知识库。为了解决数学概念多态性所导致的语义鸿沟问题，论文通过融入领域信息和应用语境的上下文，提升了模型对不同抽象层次的数学概念的区分能力。同时，结合符号和语义混合检索策略与重排序机制，进行定义消歧，确保形式化定义的精准检索。经过充分的实验验证，CRAMF框架相比于现有先进方法，取得了形式化准确率的大幅提升。这一成果也为未来大规模数学知识的自动转化与验证提供了切实有效的工具。
此项优异成绩的取得，是计算机学院长期重视本科生科研训练、深化拔尖创新人才培养模式的重要体现。卢旺悦同学通过学校及学院开展的高年级本科生科研训练计划加入张天成教授的研究团队，在张天成教授等人的悉心指导下，她充分利用学院提供的科研平台，深入探索机器学习的前沿领域。这一突破性成果不仅彰显了东北大学计算机科学与工程学院学子扎实的专业功底与卓越的创新能力，也标志着学院在鼓励本科生投身国际高水平学术研究、提升科研国际竞争力方面取得了显著成效。