南京大学软件所团队围绕基础软件系统自动化形式证明开展系列研究，提出神经符号融合证明生成框架，并在seL4定理证明和分布式协议安全性证明中取得重要进展。
南京大学计算机学院大模型中心有9篇论文被ACL 2026录用，其中ACL Main共5篇、Findings of ACL共4篇，覆盖代码翻译、句子嵌入、多语言大模型、主动交互式推理、机器翻译和推理模型可解释性等方向。
南京大学计算机学院大模型中心有12篇论文被CVPR 2026录用，涵盖生成视频真实性评估、视频时序定位、音视频生成、视频预训练、扩散模型、机器人学习、多模态推理和视觉识别等方向。
南京大学计算机学院大模型中心有11篇论文被ICLR 2026录用，涵盖长上下文注意力、蛋白-配体对接、像素空间扩散、视频理解、生成式视频插帧、视觉分词器和大语言模型推理等方向。
南京大学戴海鹏老师团队提出SMoE专家替换机制，解决显存受限边缘硬件部署MoE模型时动态卸载带来的高延迟问题，论文被ISCA 2026录用。
南京大学戴海鹏教授当选英国工程技术学会会士（IET Fellow），这是实验室在高端人才和领军人才队伍培养建设方面取得的重要突破。
由香港科技大学（广州）、南京大学、哈佛、斯坦福及IQVIA等团队联合开发的TrialBench平台在Scientific Data发表，面向AI临床试验预测提供多模态数据集和工具包。
南京大学计算机学院大模型中心有9篇论文被NeurIPS 2025录用，涵盖大语言模型持续学习、视频理解、多模态推理、视频生成、分子关系学习等前沿方向。
在2025 Inclusion外滩大会上，大模型中心王利民教授获得了2025蚂蚁Intech科技奖。
ICCV（International Conference on Computer Vision）是计算机视觉领域最具影响力的国际顶级学术会议之一，由IEEE计算机学会主办，每两年举办一次，与CVPR、ECCV并称三大视觉会议。会议涵盖图像处理、目标检测、三维重建、视频理解、视觉与语言等前沿研究方向，是全球科研人员展示最新成果、交流思想的重要平台。ICCV的论文录用标准极高，代表了计算机视觉领域的最新技术趋势与研究热点。
