GPT:

概括

本研究介绍了一种新的大型语言模型 (LLM) 诱导方法,以克服医疗保健软件符号执行中的路径爆炸. 这种方法显著加快了漏洞检测,提高了患者的安全性和软件的可靠性.