标签：形式化验证

研究团队介绍 香港科技大学、中国科学院软件研究所、西安电子科技大学和重庆大学共同组成了一个跨学科的研究团队。该团队的核心成员包括香港科技大学的研究助理教授曹嘉伦，主要研究领域涵盖AI与软件工程（AI&SE）、人工智能测试及形式化验证等；以及中国科学院软件研究所的副研究员陆垚杰，专注于大语言模型及其应用。 形式化推理与验证的需求增长 随着DeepSeek-R1的流行和AI4Math研究的深入，大模型在辅助形式化证明写作方面的需求日益增长。作为数学推理最直接的应用场景，形式化推理与验证（formal reasoning and ...