SolidCoder: Bridging the Mental-Reality Gap in LLM Code Generation through Concrete Execution
arXiv:2604.19825v1 Announce Type: cross
Abstract: State-of-the-art code generation frameworks rely on mental simulation, where LLMs internally trace execution to verify correctness. We expose a fundamental limitation: the Mental-Reality Gap — where m…