香港科技大学研究助理教授 Jialun Cao：Can AI be a Panacea for Software Reliability? Towards Automatic Testing and Verification for Software Programs
通知公告
阅读次数:

相关阅读

event

香港城市大学博士郑翔 ：Reinforcement Learning-Based Adversarial Evaluation and Defense Enhancement for Large Language Models

event

中国科学技术大学特任副研究员薛颖杰：Breaking and Fixing Multi-hop payments over Payment Channel Networks

event

深圳可信自主系统“工业人工智能”研讨会（11月3-5日，南方科技大学）