SemLoc: Structured Grounding of Free-Form LLM Reasoning for Fault Localization.

arXiv:2603.29109v2 Announce Type: replace-cross Abstract: Large language models (LLMs) can describe what a piece of code should compute, but they do so in free-form text. Such text cannot be checked against program executions, and it does not reveal whether a