This research investigates whether the continuous vector representations used by modern neural networks implicitly encode discrete symbolic structures. The authors hypothesize that despite their sub-symbolic nature, artificial neural networks realize internal representations that can be mapped to symbolic logic. To test this, the researchers developed a method to approximate the representation-generating processes of various neural networks using closed-form equations that instantiate symbolic structures. They demonstrated that replacing a network's vector-based processing with these symbolic approximations leaves the model's behavior largely unchanged. This phenomenon was observed across diverse architectures, ranging from small-scale networks trained for list manipulation to large language models (LLMs). Specifically, the researchers validated these findings in four critical domains: arithmetic, logic, computer programming code, and natural language. By successfully applying symbolic approximations, the study also enabled targeted interventions on the internal representations of LLMs, allowing for precise modifications of model behavior. This capability confirms that the identified symbolic structures are fundamentally responsible for the models' functional outputs. Ultimately, the work provides a mathematical framework to reconcile traditional symbolic AI conceptions of intelligence with the continuous, high-dimensional vector spaces utilized by modern deep learning systems.

Read original