Oct, 2023

LLM4VV: 为编译器验证开发基于 LLM 的测试套件

TL;DR探索最新的大型语言模型在代码生成方面的能力,调查提示和微调方法,并分析大型语言模型生成测试的结果。