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,科技,瑞士)
专题命中 其他LLM :LLM(title,abstract);large language model(abstract);language model(abstract);prompting(abstract)