Constructing a Neuro-Symbolic Mathematician from First Principles

Keqin Xie

Large Language Models (LLMs) exhibit persistent logical failures in complex reasoning due to the lack of an internal axiomatic framework. We propose Mathesis, a neuro-symbolic arch…