Geometry of Reason: Spectral Signatures of Valid Mathematical Reasoning
This work proposes a training-free method to assess the validity of mathematical reasoning by interpreting the attention matrices of large language models as dynamic graph adjacency matrices and applying spectral graph analysis to extract interpretable features—such as the Fiedler value, high-frequency energy ratio, graph signal smoothness, and spectral entropy. Evaluated across seven mainstream models, the approach achieves accuracy rates of 85.0%–95.6% (Cohen’s d = 3.30), which improve to 93%–95% after calibration. Notably, it correctly identifies valid proofs erroneously rejected by formal verifiers and reveals a shift in discriminative signals within Mistral-7B—from high-frequency energy ratio toward signal smoothness—highlighting the critical influence of attention mechanism design on reasoning reliability.