arXiv · AI· Zhaorui Yang, Haichao Zhu, Qian Zhang, Rajiv Gupta, Ashish Kundu·· 5 小时前AI 评分21
SemLoc: 结构化接地自由形式 LLM 推理用于故障定位
SemLoc: Structured Grounding of Free-Form LLM Reasoning for Fault Localization
AI 导读
SemLoc 将 LLM 自由文本推理转化为可执行、可验证的语义约束，并用于故障定位。 在 QuixBugs 和包含 809 个真实 bug 的 SemBugs 数据集上，99.4% 的约束成为运行时检查，其违规排名在 40.9% 的情况下优于基于频谱的故障定位（2.2%）和 Daikon 不变量（7.0%）。
来源：arXiv · AI · arxiv.org