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

arXiv:2603.29109 · cs.SE, cs.AI · Submitted 2026-03-31 · Read on arXiv

cs.SE, cs.AI

Submitted: 2026-03-31

Updated: 2026-10-27

Terminology

• Localization — 3× in this paper · explained in 2 episodes
• Accuracy — 2× in this paper · explained in 1 episode
• Grounding — 2× in this paper · explained in 3 episodes
• Verification — 2× in this paper · explained in 2 episodes

Related papers

• Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits
• GitSkills: A Dataset of Agent Skills on GitHub
• For Coding Agents, the Repository Matters
• SABER: Benchmarking Operational Safety of LLM Coding Agents in Stateful Project Workspaces
• PackMonitor: Enabling Zero Package Hallucinations Through Decoding-Time Monitoring
• IntentCoding: Amplifying User Intent in Code Generation