Research Assistant Professor Jialun Cao (HKUST) ：Can AI be a Panacea for Software Reliability? Towards Automatic Testing and Verification for Software Programs
Notice
Content View Count:

相关阅读

event

中科院计算所研究员王瑞平：视觉-语言多模态智能评测的探索

event

香港理工大学教授 Man Ho Allen Au：Anonymous Credentials: Building Trust for Intelligent Agents in the Digital Ecosystem

event

牛津大学助理研究员张天阳：Spatial Translation and Trajectory Tracing for Surgical Outcome Prediction