TypePilot: Leveraging the Scala Type System for Secure LLM-generated Code
机构 * Institute of Entrepreneurship & Management, HES-SO Le Foyer, Techno-Pôle 1 Sierre, Switzerland（创业与管理学院，HES-SO莱福院，技术园区1，瑞士） ； Institute of Informatics, HES-SO Techno-Pôle 3 Sierre, Switzerland（信息学院，HES-SO技术园区3，瑞士） ； Cyber-Defence Campus armasuisse, Science and Technology Thun, Switzerland（网络安全校区，armasuisse，科技，瑞士）
专题命中 程序分析与验证 ：code generation(abstract)；分类 cs.CL
