Breadcrumb Home News & Events Notice RITAS Technical Symposium (2nd Session, 2025) RITAS Technical Symposium (2nd Session, 2025) 2025-05-27 Notice Content View Count: 相关阅读 伦敦国王学院 Jie M. Zhang 博士:LLMs for Code: Beyond Just Correctness 斯发基斯可信自主系统研究院技术研讨会(2025年第4期) 香港科技大学研究助理教授 Jialun Cao:Can AI be a Panacea for Software Reliability? Towards Automatic Testing and Verification for Software Programs