南京大学软件所团队围绕基础软件系统自动化形式证明开展系列研究，提出神经符号融合证明生成框架，并在seL4定理证明和分布式协议安全性证明中取得重要进展。
2026年6月3日
由香港科技大学（广州）、南京大学、哈佛、斯坦福及IQVIA等团队联合开发的TrialBench平台在Scientific Data发表，面向AI临床试验预测提供多模态数据集和工具包。
2025年10月17日
