近日，第二届CCF算法能力大赛（CACC）总决赛在浙江宁波海曙区举行。本届大赛由中国计算机学会（CCF）主办，主题为“算法改变未来”。赛事面向在校大学生及从业工程师，区域赛覆盖全国千余所高校。总决赛采用16小时封闭式上机测试，赛题深度融合AI、安全等前沿技术。来自学术界与产业界的专家学者、企业代表齐聚一堂，共同探讨算法技术的最新进展与未来趋势。
我院2023级本科生蒋雨泽在总决赛中，通过模拟退火算法对NP-完全问题中的SAT（布尔可满足性）问题进行了深度工程优化，在巨大的解空间中实现了高效搜索与收敛，提升了复杂逻辑校验的求解效率；同时，在AI赛道任务中，针对医学图像分类这一现实应用场景，实现了ViT（Vision Transformer）模型的高效量化。针对面向图像分类任务的ViT（Vision Transformer）模型，他实施了模型量化策略，在保障医疗影像诊断高精度的前提下，实现了模型的轻量化与推理加速，最终荣获第二届CCF算法能力大赛AI赛道金奖。
