近日，中国计算机学会（CCF）主办的第十三届CCF大数据与计算智能大赛落下帷幕，我院教师朱艺旻、肖佳、学生康雨、王宇川、桂程晨组成的师生团队，在“蚂蚁数科面向大模型的形式化数学竞赛”的Litex赛道中获三等奖。
本次大赛历时三个月，面向全球，不限年龄、国籍，高校、科研院所、企业从业人员均可报名，因此，吸引了全球众多高校和企业的优秀团队参与，竞争激烈。比赛中，我院参赛团队聚焦于大模型时代的形式化数学领域，深入探究了如何利用先进技术解决数学表述与验证的精准化、自动化难题，系统地从“问题定义与背景”“关键技术路径”“创新应用价值”“实践验证分析”等维度进行了阐述与展示，体现了扎实的专业功底、解决问题的创新能力。
此次获奖，是学院持续推进产教融合、科教融汇，致力于搭建专业学习与产业前沿对接平台的重要成果之一。学院将持续优化实践教学体系，为学生提供更多样化的创新实践平台，培养学生创新意识与实践能力，鼓励并支持学生参与高水平学术科技竞赛、拓宽学术视野、锤炼解决复杂工程问题的专业技能，助力学生成长成才，为未来的升学和职业发展奠定了坚实基础。（供稿：肖佳）