CPUNeSy: Controlling Model Writes for Reliable Neuro-Symbolic Reasoning

Zeyan Li, Siyuan Qiu, Shuai Zhao +1

LLMs excel at recalling statistical patterns but degrade sharply when answers must be derived, especially on multi-hop chains. Delegating derivation to deterministic symbolic execu…