SemLoc

SemLoc系统将LLM推理基础化为可验证的代码约束，用于故障定位

研究人员开发了SemLoc，一个新颖的系统，它将自由形式的大型语言模型（LLM）推理转化为可验证的语义约束，用于代码中的故障定位。通过将分类约束附加到特定的代码元素，SemLoc能够进行运行时检查和反事实验证，显著提高了识别错误的准确性。这种方法允许LLM生成可验证的属性，SemLoc生成的补丁在很大比例的情况下被证实是正确的，其性能优于传统的故障定位技术以及仅依赖置信度分数的LLM。