Title: Neurosymbolic Repo-level Code Localization

Source: http://arxiv.org/abs/2604.16021v1

Summary:

This work presents LogicLoc, a neurosymbolic agentic framework that integrates LLMs with Datalog for deterministic structural reasoning in codebase analysis. It represents a foundational shift toward verifiable agentic workflows by offloading complex structural traversals to a symbolic engine, drastically reducing token overhead while improving accuracy.