arXiv cs.SE· Zhaorui Yang, Haichao Zhu, Qian Zhang, Rajiv Gupta, Ashish Kundu·· 3 小时前AI 评分38
SemLoc：将 LLM 自由推理结构化为可执行约束用于故障定位
SemLoc: Structured Grounding of Free-Form LLM Reasoning for Fault Localization
AI 导读
SemLoc 将 LLM 对代码的推理转成带固定类别、锚定在代码图节点上的可执行语义约束，插入运行时检查后运行测试得到语义违规谱，再用反事实验证确认补丁。
来源：arXiv cs.SE · arxiv.org