arXiv Artificial Intelligence· Zhaorui Yang, Haichao Zhu, Qian Zhang, Rajiv Gupta, Ashish Kundu·· 19 小时前AI 评分38
SemLoc：将LLM自由形式推理结构化锚定用于故障定位
SemLoc: Structured Grounding of Free-Form LLM Reasoning for Fault Localization
AI 导读
SemLoc 把 LLM 的自由文本推理转成可执行、可验证的语义约束，每条约束带固定类别并锚定到代码图中的变量定义、分支、循环或返回等位置。
来源：arXiv Artificial Intelligence · arxiv.org